Skip to content

Commit

Permalink
Bump to version 0.6.2dev1
Browse files Browse the repository at this point in the history
  • Loading branch information
marcogario committed Dec 3, 2016
1 parent c2b9ca6 commit 425ff82
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion pysmt/__init__.py
Original file line number Diff line number Diff line change
Expand Up @@ -16,7 +16,7 @@
# limitations under the License.
#

VERSION = (0, 6, 1)
VERSION = (0, 6, 2, "dev", 1)

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

0 comments on commit 425ff82

Please sign in to comment.