Fix multi partial order

RipplB · Jun 1, 2024 · 8b420a1 · 8b420a1
1 parent e46e855
commit 8b420a1
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/...ojects/common/analysis/src/main/kotlin/hu/bme/mit/theta/analysis/multi/MultiPartialOrd.kt b/...ojects/common/analysis/src/main/kotlin/hu/bme/mit/theta/analysis/multi/MultiPartialOrd.kt
@@ -35,7 +35,6 @@ class MultiPartialOrd<LState : State, RState : State, DataState : State, LContro
             && rightPartOrd.isLeq(
             rightCombineStates(state1.rightState, state1.dataState),
             rightCombineStates(state2.rightState, state2.dataState)
-        )
-            && ((!state1.isSourceMatteringInEquality && !state2.isSourceMatteringInEquality) || (state1.sourceSide == state2.sourceSide)));
+        ))
     }
 }