1 files changed, 2 insertions, 2 deletions
diff --git a/While.icl b/While.icl
index b258d74..6d1a613 100644
--- a/While.icl
+++ b/While.icl
@@ -53,8 +53,8 @@ dTree stm st ts r = {stm=stm, state=st, children=ts, result=r}
 // Structural Operational Semantics
 
 seq :: Stm State -> DerivSeq
-seq stm st = case step stm st of (Done st) = [Done st]
-                                 (NDone stm st) = [NDone stm st : seq stm st]
+seq stm st = case step stm st of (Done st`) = [NDone stm st, Done st`]
+                                 (NDone stm` st`) = [NDone stm st:seq stm` st`]
 where
     step :: Stm State -> DerivSeqNode
     step Skip st = Done st