fix: recursion runtime (#980)

succinctlabs · Jun 25, 2024 · 59206de · 59206de
2 parents 31431e9 + 235da5e
commit 59206de
Showing 1 changed file with 5 additions and 9 deletions.
diff --git a/recursion/core/src/runtime/mod.rs b/recursion/core/src/runtime/mod.rs
@@ -1054,15 +1054,11 @@ where
                 .first_memory_record
                 .push((F::from_canonical_usize(*addr), *init_value));
 
-            // Keep the last memory record sorted by address.
-            let pos = self
-                .record
-                .last_memory_record
-                .partition_point(|(a, _, _)| *a <= F::from_canonical_usize(*addr));
-            self.record.last_memory_record.insert(
-                pos,
-                (F::from_canonical_usize(*addr), entry.timestamp, entry.value),
-            )
+            self.record.last_memory_record.push((
+                F::from_canonical_usize(*addr),
+                entry.timestamp,
+                entry.value,
+            ))
         }
         self.record
             .last_memory_record