diff options
Diffstat (limited to 'subprojects/language-semantics')
-rw-r--r-- | subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java index 557e9752..13bb20d7 100644 --- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java +++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java | |||
@@ -84,8 +84,8 @@ public class ModelInitializer { | |||
84 | return Tuple.of(nodes); | 84 | return Tuple.of(nodes); |
85 | } | 85 | } |
86 | 86 | ||
87 | private static TruthValue getTruthValue(AssertionValue value) { | 87 | private static TruthValue getTruthValue(Expr expr) { |
88 | if (!(value instanceof LogicAssertionValue logicAssertionValue)) { | 88 | if (!(expr instanceof LogicConstant logicAssertionValue)) { |
89 | return TruthValue.ERROR; | 89 | return TruthValue.ERROR; |
90 | } | 90 | } |
91 | return switch (logicAssertionValue.getLogicValue()) { | 91 | return switch (logicAssertionValue.getLogicValue()) { |