From c869da28e60214f5399b87de00ac1c39ece81bd9 Mon Sep 17 00:00:00 2001
From: Seung Hoon Park <simon.park1023@gmail.com>
Date: Mon, 27 Nov 2023 14:33:31 +0000
Subject: [PATCH] Update manual.wisl

Fixed minor typos in the lab demos.
---
 .../sampleWorkspace/wisl_demo/sll/manual.wisl          | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/debugger-vscode-extension/sampleWorkspace/wisl_demo/sll/manual.wisl b/debugger-vscode-extension/sampleWorkspace/wisl_demo/sll/manual.wisl
index f6d9cfe62..65da031b8 100644
--- 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
 }