diff --git a/saw-script.cabal b/saw-script.cabal
index c2fb65fcb9..10a2cb9df8 100644
--- 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:    atomb@galois.com
 Build-type:    Custom