chore: changes

educorvi · Mar 20, 2023 · fabc320 · fabc320
1 parent f6c3800
commit fabc320
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/common/changes/@educorvi/smtlib/main_2023-03-20-23-45.json b/common/changes/@educorvi/smtlib/main_2023-03-20-23-45.json
@@ -0,0 +1,10 @@
+{
+  "changes": [
+    {
+      "packageName": "@educorvi/smtlib",
+      "comment": "fix bug with cvc5 v1.0.5",
+      "type": "patch"
+    }
+  ],
+  "packageName": "@educorvi/smtlib"
+}