Maded suitable changes in symbolics_15.py

wolfv · Feb 4, 2024 · 4828e38 · 4828e38
1 parent 8b81091
commit 4828e38
Showing 1 changed file with 3 additions and 4 deletions.
diff --git a/integration_tests/symbolics_15.py b/integration_tests/symbolics_15.py
@@ -33,13 +33,12 @@ def mmrv(r: Out[list[CPtr]]) -> None:
     basic_new_stack(x)
     basic_const_pi(x)
 
-    # l1: list[S]
+    # l1: list[S] = [x]
+    _l1: list[CPtr] = [x]
     l1: list[CPtr] = []
 
-    # l1 = [x]
     i: i32 = 0
-    Len: i32 = 1
-    for i in range(Len):
+    for i in range(len(_l1)):
         tmp: CPtr = basic_new_heap()
         l1.append(tmp)
         basic_assign(l1[0], x)