update FP

nikivazou · nikivazou · commit 8465a30f8374 · 2021-10-28T16:07:14.000+02:00
diff --git a/liquid-fixpoint b/liquid-fixpoint
@@ -1 +1 @@
-Subproject commit 567edb39de864dcacc4ba29415270cf707ebe96a
+Subproject commit f0f4732d921326e9481a7ece0d92387c16e5b8f8
