From bed3e27d06d85c662582e685633b67783817d9eb Mon Sep 17 00:00:00 2001
From: Aaron Tomb <atomb@galois.com>
Date: Mon, 21 Oct 2019 16:16:57 -0700
Subject: [PATCH] Bump Cabal file version to 0.4

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

diff --git a/saw-script.cabal b/saw-script.cabal
index 7f46e25186..7f57c6aee5 100644
--- a/saw-script.cabal
+++ b/saw-script.cabal
@@ -1,5 +1,5 @@
 Name:          saw-script
-Version:       0.3
+Version:       0.4
 Author:        Galois Inc.
 Maintainer:    atomb@galois.com
 Build-type:    Custom