Bumping version to 0.2.4.dev

pysmt · Mar 12, 2015 · e378631 · e378631
1 parent f4960f1
commit e378631
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -3,7 +3,7 @@
 
 setup(
     name='PySMT',
-    version='0.2.3',
+    version='0.2.4.dev',
     author='PySMT Team',
     author_email='info@pysmt.org',
     packages = find_packages(),