TRLC Release 1.1.8

bmw-software-engineering · Aug 23, 2023 · a96a065 · a96a065
1 parent 1ea4a1d
commit a96a065
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -25,7 +25,7 @@ generated in the following situations:
 ## Changelog
 
 
-### 1.1.8-dev
+### 1.1.8
 
 * [TRLC] Hotfix for the CVC5 API issue: pinning PyVCG to 1.0.3, which
   in turn pins CVC5 to 1.0.5 (the last known good version).

diff --git a/trlc/version.py b/trlc/version.py
@@ -19,7 +19,7 @@
 # along with TRLC. If not, see <https://www.gnu.org/licenses/>.
 
 VERSION_TUPLE = (1, 1, 8)
-VERSION_SUFFIX = "dev"
+VERSION_SUFFIX = ""
 
 TRLC_VERSION = ("%u.%u.%u" % VERSION_TUPLE) + \
     ("-%s" % VERSION_SUFFIX if VERSION_SUFFIX else "")