Update src/main/java/viper/gobra/frontend/GobraParser.java

Co-authored-by: João Pereira <[email protected]>
viperproject · Jul 2, 2024 · 0fc9ca9 · 0fc9ca9
1 parent 0412f94
commit 0fc9ca9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/viper/gobra/frontend/GobraParser.java b/src/main/java/viper/gobra/frontend/GobraParser.java
@@ -1,4 +1,4 @@
-// Generated from /mnt/c/Users/leasa/Documents/Git/gobra/src/main/antlr4/GobraParser.g4 by ANTLR 4.13.1
+// Generated from src/main/antlr4/GobraParser.g4 by ANTLR 4.13.1
 package viper.gobra.frontend;
 import org.antlr.v4.runtime.atn.*;
 import org.antlr.v4.runtime.dfa.DFA;