update version for release

ucsd-progsys · Feb 3, 2023 · a45f8fe · a45f8fe
1 parent 11a773a
commit a45f8fe
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/liquid-fixpoint.cabal b/liquid-fixpoint.cabal
@@ -1,6 +1,6 @@
 cabal-version:      2.4
 name:               liquid-fixpoint
-version:            0.8.10.7.1
+version:            0.9.0.2.1
 synopsis:           Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
 description:
   This package implements an SMTLIB based Horn-Clause\/Logical Implication constraint