Changes in src/InitTweak/FixInit.cc [4e5e6cc:aaeacf4]

File:

• src/InitTweak/FixInit.cc (modified) (1 diff)

src/InitTweak/FixInit.cc

@@ -995 +995 @@
                         )
 
+
+                        // std::set_difference requires that the inputs be sorted.
+                        lvars.sort();
+                        curVars.sort();
+
                         ObjectSet diff;
                         // S_L-S_G results in set of objects whose construction is skipped - it's an error if this set is non-empty