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 "")