From ff49293c7056140a3116ee541859814926fffbd3 Mon Sep 17 00:00:00 2001 From: Lea Salome Brugger <44122567+bruggerl@users.noreply.github.com> Date: Tue, 2 Jul 2024 15:41:57 +0200 Subject: [PATCH] Update src/main/java/viper/gobra/frontend/GobraParserBaseVisitor.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/GobraParserBaseVisitor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/viper/gobra/frontend/GobraParserBaseVisitor.java b/src/main/java/viper/gobra/frontend/GobraParserBaseVisitor.java index 90330e06d..cda3f9907 100644 --- 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;