aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeValue.java
diff options
context:
space:
mode:
Diffstat (limited to 'subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeValue.java')
-rw-r--r--subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeValue.java2
1 files changed, 1 insertions, 1 deletions
diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeValue.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeValue.java
index 3260ef3d..a6b55989 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeValue.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/internal/DecisionTreeValue.java
@@ -25,7 +25,7 @@ public enum DecisionTreeValue {
25 } 25 }
26 26
27 public TruthValue merge(TruthValue other) { 27 public TruthValue merge(TruthValue other) {
28 return truthValue == null ? other : truthValue.merge(other); 28 return truthValue == null ? other : truthValue.meet(other);
29 } 29 }
30 30
31 public DecisionTreeValue overwrite(DecisionTreeValue other) { 31 public DecisionTreeValue overwrite(DecisionTreeValue other) {