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

Co-authored-by: João Pereira <[email protected]>
viperproject · Jul 2, 2024 · ff49293 · ff49293
1 parent 0fc9ca9
commit ff49293
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/java/viper/gobra/frontend/GobraParserBaseVisitor.java b/src/main/java/viper/gobra/frontend/GobraParserBaseVisitor.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.tree.AbstractParseTreeVisitor;