Merge pull request #1891 from ucsd-progsys/nv.dev

nikivazou · web-flow · commit 275e9146d686 · 2021-10-28T17:45:44.000+02:00
Restore Build
diff --git a/liquid-fixpoint b/liquid-fixpoint
@@ -1 +1 @@
-Subproject commit 567edb39de864dcacc4ba29415270cf707ebe96a
+Subproject commit f0f4732d921326e9481a7ece0d92387c16e5b8f8
diff --git a/liquidhaskell.cabal b/liquidhaskell.cabal
@@ -234,7 +234,7 @@ library
                     , ghc-paths            >= 0.1
                     , ghc-prim
                     , gitrev
-                    , hashable             >= 1.3
+                    , hashable             >= 1.3 && < 1.3.4
                     , hscolour             >= 1.22
                     , liquid-fixpoint      >= 0.8.10.2.1 && < 0.9
                     , mtl                  >= 2.1
