removed .antlr

informalsystems · Oct 4, 2024 · d2c00c2 · d2c00c2
1 parent e50a831
commit d2c00c2
Show file tree

Hide file tree

Showing 14 changed files with 0 additions and 7,780 deletions.
diff --git a/quint/src/generated/.antlr/Effect.interp b/quint/src/generated/.antlr/Effect.interp
diff --git a/quint/src/generated/.antlr/Effect.tokens b/quint/src/generated/.antlr/Effect.tokens
diff --git a/quint/src/generated/.antlr/EffectBaseListener.java b/quint/src/generated/.antlr/EffectBaseListener.java
diff --git a/quint/src/generated/.antlr/EffectLexer.interp b/quint/src/generated/.antlr/EffectLexer.interp