Fixed issue with Scala set intersection

utwente-fmt · Jul 17, 2024 · 78126d4 · 78126d4
1 parent 2d470ef
commit 78126d4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/rewrite/vct/rewrite/rasi/RASIConnection.scala b/src/rewrite/vct/rewrite/rasi/RASIConnection.scala
@@ -142,7 +142,8 @@ case class DistinguishedSuccessor[G](
   }
 
   override def factor_out(states: Set[AbstractState[G]]): RASISuccessor[G] = {
-    val hit: Set[AbstractState[G]] = states.intersect(successors)
+    val hit: Set[AbstractState[G]] = successors.intersect(states)
+    // different result for some reason: states.intersect(successors)
     if (hit.nonEmpty)
       AlternativeSuccessor(
         hit.map[RASISuccessor[G]](s => SingleSuccessor(s)) + this.removed_states(hit)