From 1fb602fd1750eb2dcc1a887b1fdf178d456970e2 Mon Sep 17 00:00:00 2001 From: Lea Salome Brugger <44122567+bruggerl@users.noreply.github.com> Date: Tue, 2 Jul 2024 15:42:04 +0200 Subject: [PATCH] Update src/main/java/viper/gobra/frontend/GobraParserVisitor.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/GobraParserVisitor.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/viper/gobra/frontend/GobraParserVisitor.java b/src/main/java/viper/gobra/frontend/GobraParserVisitor.java index 0aa789e40..598d6de5d 100644 --- a/src/main/java/viper/gobra/frontend/GobraParserVisitor.java +++ b/src/main/java/viper/gobra/frontend/GobraParserVisitor.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.ParseTreeVisitor;