Pin antlr4ts version

informalsystems · Sep 20, 2023 · c8f1c08 · c8f1c08
1 parent 62a7b8f
commit c8f1c08
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/quint/package-lock.json b/quint/package-lock.json
diff --git a/quint/package.json b/quint/package.json
@@ -55,7 +55,7 @@
     "@sweet-monads/maybe": "~3.2.0",
     "@types/line-column": "^1.0.0",
     "@types/seedrandom": "^3.0.4",
-    "antlr4ts": "^0.5.0-alpha.4",
+    "antlr4ts": "0.5.0-alpha.4",
     "chalk": "^4.1.2",
     "eol": "^0.9.1",
     "immutable": "^4.3.0",