diff --git a/lib/libflint b/lib/libflint
index 0d8d695..92a787a 160000
--- a/lib/libflint
+++ b/lib/libflint
@@ -1 +1 @@
-Subproject commit 0d8d695be7611181757e10c9d5a5aac59365a056
+Subproject commit 92a787a899621aa0290ef746035596ad3485c70e