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

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