Point LH 0.9.8.2 to LF 0.9.6.3.1

facundominguez · facundominguez · commit 22e2c558275a · 2024-08-24T15:30:12.000-03:00
diff --git a/liquid-fixpoint b/liquid-fixpoint
@@ -1 +1 @@
-Subproject commit 61ae4fa62b0cc93d60cef7aa3bb272afbc26bc67
+Subproject commit fa855d1c77a2fbf18aa53b56d02f9807a5d01a3b
diff --git a/liquidhaskell-boot/liquidhaskell-boot.cabal b/liquidhaskell-boot/liquidhaskell-boot.cabal
@@ -143,7 +143,7 @@ library
                     , gitrev
                     , hashable             >= 1.3 && < 1.5
                     , hscolour             >= 1.22
-                    , liquid-fixpoint      == 0.9.6.3
+                    , liquid-fixpoint      == 0.9.6.3.1
                     , mtl                  >= 2.1
                     , optparse-applicative < 0.19
                     , githash
