From ebaa98699bfc704c5ac5a100e2829e68f3a11d9b Mon Sep 17 00:00:00 2001
From: "Adam C. Foltzer" <acfoltzer@galois.com>
Date: Mon, 1 Jun 2015 12:34:33 -0700
Subject: [PATCH] bump version

---
 cryptol.cabal | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cryptol.cabal b/cryptol.cabal
index 9ccb3e2cf..9fe1470b4 100644
--- a/cryptol.cabal
+++ b/cryptol.cabal
@@ -1,5 +1,5 @@
 Name:                cryptol
-Version:             2.2.3
+Version:             2.2.4
 Synopsis:            Cryptol: The Language of Cryptography
 Description: Cryptol is a domain-specific language for specifying cryptographic algorithms. A Cryptol implementation of an algorithm resembles its mathematical specification more closely than an implementation in a general purpose language. For more, see <http://www.cryptol.net/>.
 License:             BSD3
@@ -23,7 +23,7 @@ source-repository head
 source-repository this
   type:     git
   location: https://github.com/GaloisInc/cryptol.git
-  tag:      v2.2.3
+  tag:      v2.2.4
 
 flag static
   default: False