Bump version to 0.9.2.5

ucsd-progsys · Oct 18, 2023 · 1ccf4b3 · 1ccf4b3
1 parent e4317af
commit 1ccf4b3
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.9.0.2.1
+version:            0.9.2.5
 synopsis:           Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
 description:
   This package implements an SMTLIB based Horn-Clause\/Logical Implication constraint