diff --git a/quint/package-lock.json b/quint/package-lock.json
index 16f3b7c70..af082a50b 100644
--- a/quint/package-lock.json
+++ b/quint/package-lock.json
@@ -16,7 +16,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",
diff --git a/quint/package.json b/quint/package.json
index 107ae0ba1..9026d6364 100644
--- 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",