Skip to content
Snippets Groups Projects
Commit e155d2ea authored by hansen's avatar hansen
Browse files

Fixed typo

parent 532afd78
No related branches found
No related tags found
No related merge requests found
...@@ -85,7 +85,7 @@ public class LTLFormulaVisitor extends DepthFirstAdapter { ...@@ -85,7 +85,7 @@ public class LTLFormulaVisitor extends DepthFirstAdapter {
public void parseLTLString(String ltlString) { public void parseLTLString(String ltlString) {
try { try {
this.ltlFormulaStart = parse(ltlFormula); this.ltlFormulaStart = parse(ltlString);
} catch (Exception e) { } catch (Exception e) {
throw new LTLParseException(e.getMessage()); throw new LTLParseException(e.getMessage());
} }
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment