Permalink
Browse files

Bump version to 0.8.1dev1

  • Loading branch information...
marcogario committed Jan 28, 2019
1 parent d7005f8 commit 2d423e4f1dde56658d17abd61f9b67bfd091f5f7
Showing with 1 addition and 1 deletion.
  1. +1 −1 pysmt/__init__.py
@@ -16,7 +16,7 @@
# limitations under the License.
#

VERSION = (0, 8, 0)
VERSION = (0, 8, 1, "dev", 1)

# PEP440 Format
__version__ = "%d.%d.%d%s%d" % VERSION if len(VERSION) == 5 else \

0 comments on commit 2d423e4

Please sign in to comment.