diff --git a/lib/flint b/lib/flint
index 3060192a..d086c3d0 160000
--- a/lib/flint
+++ b/lib/flint
@@ -1 +1 @@
-Subproject commit 3060192ad1edff65b0ca06f391c3a5241670dca1
+Subproject commit d086c3d011044d93ab1e4fa1b94b8d193c68a6b1