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 {
                 return Tuple.of(nodes);
         }
 
-        private static TruthValue getTruthValue(AssertionValue value) {
-                if (!(value instanceof LogicAssertionValue logicAssertionValue)) {
+        private static TruthValue getTruthValue(Expr expr) {
+                if (!(expr instanceof LogicConstant logicAssertionValue)) {
                         return TruthValue.ERROR;
                 }
                 return switch (logicAssertionValue.getLogicValue()) {