Bump version to 0.10.0

kind2-mc · Dec 26, 2023 · 0f2862a · 0f2862a
1 parent d42c11e
commit 0f2862a
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,6 @@
+### Version 0.10.0
+- Update Kind 2 to version 2.1.1
+
 ### Version 0.9.0
 - Update Kind 2 to version 2.1.0 and Z3 to version 4.12.4
 - Update syntax highlighting:

diff --git a/package-lock.json b/package-lock.json
diff --git a/package.json b/package.json
@@ -5,7 +5,7 @@
   "description": "Language support for Kind 2",
   "author": "The Kind 2 development team",
   "license": "MIT",
-  "version": "0.9.0",
+  "version": "0.10.0",
   "preview": true,
   "repository": {
     "type": "git",