Removed BailErrorStrategy Error handler to generate better error mess…

…ages when parsing LLVM IR.
hernanponcedeleon · Aug 21, 2023 · f7b0ded · f7b0ded
1 parent 34b6612
commit f7b0ded
Showing 1 changed file with 1 addition and 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
@@ -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();
     }
 }
+