Index: tests/ctrl-flow/loopctrl.cfa
===================================================================
--- tests/ctrl-flow/loopctrl.cfa	(revision 5eb3f65e95375f1be49b0bbe3338a9b4b1d26c67)
+++ tests/ctrl-flow/loopctrl.cfa	(revision 72abc90a93dc111c0637aacaf9ef518186e134ba)
@@ -10,6 +10,6 @@
 // Created On       : Wed Aug  8 18:32:59 2018
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Thu Aug 11 23:04:35 2022
-// Update Count     : 160
+// Last Modified On : Thu Jun 27 11:00:09 2024
+// Update Count     : 161
 // 
 
@@ -99,5 +99,4 @@
 int ?>?( S t1, S t2 ) { return t1.i > t2.i && t1.j > t2.j; }
 int ?>=?( S t1, S t2 ) { return t1.i >= t2.i && t1.j >= t2.j; }
-S ?=?( S & t1, S t2 ) { t1.i = t2.i; t1.j = t2.j; return t1; }
 S ?+=?( S & t1, S t2 ) { t1.i += t2.i; t1.j += t2.j; return t1; }
 S ?+=?( S & t, one_t ) { t.i += 1; t.j += 1; return t; }