From 0412f9430249be1a6a19beb47cea6dcc2b93d6db Mon Sep 17 00:00:00 2001 From: Lea Salome Brugger <44122567+bruggerl@users.noreply.github.com> Date: Tue, 2 Jul 2024 15:41:38 +0200 Subject: [PATCH] Update src/main/java/viper/gobra/frontend/GobraLexer.java MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-authored-by: João Pereira --- src/main/java/viper/gobra/frontend/GobraLexer.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/viper/gobra/frontend/GobraLexer.java b/src/main/java/viper/gobra/frontend/GobraLexer.java index f84e1dad0..4690adf3e 100644 --- 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;