Update manual.wisl

Fixed minor typos in the lab demos.
GillianPlatform · Nov 27, 2023 · c869da2 · c869da2
1 parent 500b906
commit c869da2
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/debugger-vscode-extension/sampleWorkspace/wisl_demo/sll/manual.wisl b/debugger-vscode-extension/sampleWorkspace/wisl_demo/sll/manual.wisl
@@ -318,9 +318,9 @@ function SLL_append_node_iter(x, y){
            (#vx == #vs1 @ (#v :: #vs2)) ]];
     while(not (next = null)){
       prev := next;
-      next := [next + 1];
+      next := [next + 1]
     };
-    [prev + 1] := y;
+    [prev + 1] := y
   };
   return x
 }
@@ -342,7 +342,7 @@ function SLL_concat_iter(x, y){
         prev := next;
         next := [next + 1]
     };
-    [prev + 1] := y;
+    [prev + 1] := y
   };
   return head
 }
@@ -370,8 +370,8 @@ function SLL_copy_iter(x){
             [c] := v;
             [p + 1] := c;
             p := c;
-            t := [t + 1];
-        };
+            t := [t + 1]
+        }
     };
     return y
 }