move stable

jacenre · jacenre · commit d00de1408fb7 · 2026-05-27T15:21:59.000+02:00
diff --git a/libraries/pbes/include/mcrl2/pbes/tools/pbeschain.h b/libraries/pbes/include/mcrl2/pbes/tools/pbeschain.h
@@ -424,9 +424,9 @@ inline void self_substitute(pbes_equation& equation,
             std::set<propositional_variable_instantiation> phi_set_same_name;
             std::copy_if(phi_set.begin(), phi_set.end(), std::inserter(phi_set_same_name, phi_set_same_name.begin()),
                          [&](const propositional_variable_instantiation& pvi) { return pvi.name() == equation.variable().name(); });
+            stable = false;
             if (phi_set_same_name.size() == 0)
             {
-                stable = false;
                 pvi_done = true;
             }
             else

Original file line number	Diff line number	Diff line change
`@@ -424,9 +424,9 @@ inline void self_substitute(pbes_equation& equation,`
`424`	`424`	`std::set<propositional_variable_instantiation> phi_set_same_name;`
`425`	`425`	`std::copy_if(phi_set.begin(), phi_set.end(), std::inserter(phi_set_same_name, phi_set_same_name.begin()),`
`426`	`426`	`[&](const propositional_variable_instantiation& pvi) { return pvi.name() == equation.variable().name(); });`
	`427`	`+ stable = false;`
`427`	`428`	`if (phi_set_same_name.size() == 0)`
`428`	`429`	`{`
`429`		`- stable = false;`
`430`	`430`	`pvi_done = true;`
`431`	`431`	`}`
`432`	`432`	`else`