Bump to version 0.7.6dev1

pysmt · May 30, 2018 · 91b4440 · 91b4440
1 parent f14edd4
commit 91b4440
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/pysmt/__init__.py b/pysmt/__init__.py
@@ -16,7 +16,7 @@
 #   limitations under the License.
 #
 
-VERSION = (0, 7, 5)
+VERSION = (0, 7, 6, "dev", 1)
 
 # PEP440 Format
 __version__ = "%d.%d.%d%s%d" % VERSION if len(VERSION) == 5 else \