diff --git a/liquid-fixpoint b/liquid-fixpoint
index 0e021dcc32..59f25fced0 160000
--- a/liquid-fixpoint
+++ b/liquid-fixpoint
@@ -1 +1 @@
-Subproject commit 0e021dcc32c9a104d691930f2ce911858ff7fbfc
+Subproject commit 59f25fced058fdf8f0484dc9c176353160b4ad1f