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(); } } +