From 70d913668632dafe286489f144bd3d21ce497744 Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Thu, 7 Oct 2021 15:46:49 -0700
Subject: [PATCH] Set version to 0.9 for release

---
 saw-script.cabal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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