diff -r a50feaa0c4b3 -r 3f4fc76dab2f progs/comb2.scala
--- a/progs/comb2.scala	Tue Nov 20 08:00:16 2018 +0000
+++ b/progs/comb2.scala	Tue Nov 20 13:23:51 2018 +0000
@@ -130,7 +130,7 @@
    (Stmt ==> ((s) => List(s))))
 
 
-Stmt.parse_all("x2:=5+3")
+Stmts.parse_all("x2:=5+3;")
 Block.parse_all("{x:=5;y:=8}")
 Block.parse_all("if(false)then{x:=5}else{x:=10}")