fix the antlr grammar

informalsystems · Nov 16, 2023 · a616375 · a616375
1 parent e52b3ad
commit a616375
Show file tree

Hide file tree

Showing 7 changed files with 1,324 additions and 1,262 deletions.
diff --git a/quint/src/generated/.antlr/Quint.interp b/quint/src/generated/.antlr/Quint.interp
diff --git a/quint/src/generated/.antlr/QuintLexer.java b/quint/src/generated/.antlr/QuintLexer.java
@@ -1,4 +1,4 @@
-// Generated from /Users/thomas/src/quint/quint/src/generated/Quint.g4 by ANTLR 4.13.1
+// Generated from /Users/igor/devl/informal/quint/quint/src/generated/Quint.g4 by ANTLR 4.13.1
 
 
 // Used for forming errors