bump cabal version

ucsd-progsys · Feb 15, 2018 · 99b45f6 · 99b45f6
1 parent 9cea034
commit 99b45f6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/liquid-fixpoint.cabal b/liquid-fixpoint.cabal
@@ -1,5 +1,5 @@
 name:                liquid-fixpoint
-version:             0.7.0.6
+version:             0.7.0.7
 Copyright:           2010-17 Ranjit Jhala, University of California, San Diego.
 synopsis:            Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
 homepage:            https://github.com/ucsd-progsys/liquid-fixpoint