Set version to 0.9 for release

GaloisInc · Oct 7, 2021 · 70d9136 · 70d9136
1 parent 0b04099
commit 70d9136
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/saw-script.cabal b/saw-script.cabal
@@ -1,6 +1,6 @@
 Cabal-version: 2.4
 Name:          saw-script
-Version:       0.8.0.99
+Version:       0.9
 Author:        Galois Inc.
 Maintainer:    [email protected]
 Build-type:    Custom