From f7b0dedc7f8567fa047660202a9ecd7598988085 Mon Sep 17 00:00:00 2001
From: Thomas Haas <tomy.haas@t-online.de>
Date: Mon, 21 Aug 2023 18:19:13 +0200
Subject: [PATCH] Removed BailErrorStrategy Error handler to generate better
 error messages when parsing LLVM IR.

---
 .../java/com/dat3m/dartagnan/parsers/program/ParserLlvm.java   | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/ParserLlvm.java b/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/ParserLlvm.java
index 264102abd8..12d82a13d5 100644
--- a/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/ParserLlvm.java
+++ b/dartagnan/src/main/java/com/dat3m/dartagnan/parsers/program/ParserLlvm.java
@@ -4,7 +4,6 @@
 import com.dat3m.dartagnan.parsers.LLVMIRParser;
 import com.dat3m.dartagnan.parsers.program.visitors.VisitorLlvm;
 import com.dat3m.dartagnan.program.Program;
-import org.antlr.v4.runtime.BailErrorStrategy;
 import org.antlr.v4.runtime.CharStream;
 import org.antlr.v4.runtime.CommonTokenStream;
 import org.antlr.v4.runtime.ParserRuleContext;
@@ -17,7 +16,6 @@ public Program parse(CharStream charStream) {
         CommonTokenStream tokenStream = new CommonTokenStream(lexer);
 
         LLVMIRParser parser = new LLVMIRParser(tokenStream);
-        parser.setErrorHandler(new BailErrorStrategy());
         ParserRuleContext parserEntryPoint = parser.compilationUnit();
         VisitorLlvm visitor = new VisitorLlvm();
 
@@ -27,3 +25,4 @@ public Program parse(CharStream charStream) {
         return visitor.buildProgram();
     }
 }
+