From e155d2ea9a0a9bd65e4121134d0533721abdc5c4 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Mon, 10 Nov 2014 15:43:24 +0100
Subject: [PATCH] Fixed typo
---
src/main/java/de/tlc4b/ltl/LTLFormulaVisitor.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/ltl/LTLFormulaVisitor.java b/src/main/java/de/tlc4b/ltl/LTLFormulaVisitor.java
index ed50c8f..c635b18 100644
--- a/src/main/java/de/tlc4b/ltl/LTLFormulaVisitor.java
+++ b/src/main/java/de/tlc4b/ltl/LTLFormulaVisitor.java
@@ -85,7 +85,7 @@ public class LTLFormulaVisitor extends DepthFirstAdapter {
public void parseLTLString(String ltlString) {
try {
- this.ltlFormulaStart = parse(ltlFormula);
+ this.ltlFormulaStart = parse(ltlString);
} catch (Exception e) {
throw new LTLParseException(e.getMessage());
}
--
GitLab