From 6229138b0e3d79fb284208362ae28f5e41d54b6a Mon Sep 17 00:00:00 2001
From: Johannes Waldmann <waldmann@imn.htwk-leipzig.de>
Date: Tue, 8 Jul 2014 10:59:32 +0200
Subject: [PATCH] version bump

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

diff --git a/tpdb.cabal b/tpdb.cabal
index 496beb5..7d021fe 100644
--- a/tpdb.cabal
+++ b/tpdb.cabal
@@ -1,5 +1,5 @@
 Name: tpdb
-Version: 0.9.9
+Version: 1.0.0
 Author: Alexander Bau, Johannes Waldmann
 Maintainer: Johannes Waldmann
 Category: Logic