Skip to content

Commit 83044f7

Browse files
PyVCG Release 1.0.2
1 parent f0d0f47 commit 83044f7

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

CHANGELOG.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@
77

88
## Changelog
99

10-
### 1.0.2-dev
10+
### 1.0.2
1111

1212
* Fix bug in printing smtlib string literals. They are now correctly
1313
escaped for both quotations and non-printable characters.

pyvcg/version.py

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@
2323
##############################################################################
2424

2525
VERSION_TUPLE = (1, 0, 2)
26-
VERSION_SUFFIX = "dev"
26+
VERSION_SUFFIX = ""
2727

2828
PYVCG_VERSION = ("%u.%u.%u" % VERSION_TUPLE) + \
2929
("-%s" % VERSION_SUFFIX if VERSION_SUFFIX else "")

0 commit comments

Comments
 (0)