From a96a065e1406caa2ad0d3335ebdd4a37b9a1ae9f Mon Sep 17 00:00:00 2001
From: Florian Schanda <florian@schanda.org.uk>
Date: Wed, 23 Aug 2023 15:05:52 +0200
Subject: [PATCH] TRLC Release 1.1.8

---
 CHANGELOG.md    | 2 +-
 trlc/version.py | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index dd2879ad..c89eaf74 100644
--- 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
index f67c9f66..ff1333de 100644
--- 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 "")