From 19006a08204a92805a57a6ac6ddf07cb442ef66d Mon Sep 17 00:00:00 2001
From: bugarela <gabrielamoreira05@gmail.com>
Date: Tue, 16 Jan 2024 18:25:37 -0300
Subject: [PATCH] Release v0.18.1

---
 CHANGELOG.md            | 14 +++++++++++---
 quint/package-lock.json |  4 ++--
 quint/package.json      |  2 +-
 quint/src/version.ts    |  2 +-
 4 files changed, 15 insertions(+), 7 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index f70f33d21..55600156c 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,6 +7,15 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## UNRELEASED
 
+### Added
+### Changed
+### Deprecated
+### Removed
+### Fixed
+### Security
+
+## v0.18.1 -- 2024-01-16
+
 ### Added
 ### Changed
 ### Deprecated
@@ -16,6 +25,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 - Fixed parsing of qualified type constructors, which were being misinterpreted
   as type variables when the name of the qualifying module started with a
   lowercase letter (#1337).
+- Fixed an issue where, sometimes, runtime errors were not reported in
+  simulation (#1339)
 
 ### Security
 
@@ -311,9 +322,6 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Removed
 ### Fixed
 
-- Fixed an issue where, sometimes, runtime errors were not reported in
-  simulation (#1339)
-
 ### Security
 
 ## v0.11.1 -- 2023-06-01
diff --git a/quint/package-lock.json b/quint/package-lock.json
index 096e6597a..b86cf5d2e 100644
--- a/quint/package-lock.json
+++ b/quint/package-lock.json
@@ -1,12 +1,12 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.18.0",
+  "version": "0.18.1",
   "lockfileVersion": 2,
   "requires": true,
   "packages": {
     "": {
       "name": "@informalsystems/quint",
-      "version": "0.18.0",
+      "version": "0.18.1",
       "license": "Apache 2.0",
       "dependencies": {
         "@grpc/grpc-js": "^1.8.14",
diff --git a/quint/package.json b/quint/package.json
index 7fc8c4a72..a1e268ae5 100644
--- a/quint/package.json
+++ b/quint/package.json
@@ -1,6 +1,6 @@
 {
   "name": "@informalsystems/quint",
-  "version": "0.18.0",
+  "version": "0.18.1",
   "description": "Core tool for the Quint specification language",
   "keywords": [
     "temporal",
diff --git a/quint/src/version.ts b/quint/src/version.ts
index 1aff2dbe7..9e6c4eefb 100644
--- a/quint/src/version.ts
+++ b/quint/src/version.ts
@@ -1,2 +1,2 @@
 // Generated by genversion.
-export const version = '0.18.0'
+export const version = '0.18.1'