restore FP version

ranjitjhala · ranjitjhala · commit 29b340f024a8 · 2020-08-05T18:14:40.000-07:00
diff --git a/.gitmodules b/.gitmodules
@@ -1,6 +1,6 @@
 [submodule "liquid-fixpoint"]
 	path = liquid-fixpoint
-	url = https://github.com/ucsd-progsys/liquid-fixpoint.git
+	url = git@github.com:ucsd-progsys/liquid-fixpoint.git
 [submodule "ghc-options"]
 	path = ghc-options
 	url = https://github.com/ranjitjhala/ghc-options.git
diff --git a/liquid-fixpoint b/liquid-fixpoint
@@ -1 +1 @@
-Subproject commit 02c1a683e1c8ad032660dec3b7a259bd23e4aa6a
+Subproject commit 2a42283624b5f6c72e5591faf80dfcf9ef06081e
