examples fixed

TyGuS · Oct 19, 2018 · dcfc187 · dcfc187
1 parent b73773a
commit dcfc187
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/examples/max.syn b/examples/max.syn
@@ -1,4 +1,4 @@
-#. this -b true
+#. -b true
 maximum of two integers
 
 ###
@@ -9,4 +9,4 @@ void max (loc r, int x, int y)
 
 { x <= m  /\  y <= m; r :-> m }
 
-###
+###
diff --git a/examples/srtl-insert.syn b/examples/srtl-insert.syn
@@ -1,4 +1,4 @@
-#. this -b true -c 2
+#. -b true -c 2
 sorted list: insert an element
 
 #####
@@ -7,4 +7,4 @@ sorted list: insert an element
 void srtl_insert (loc x, loc r)
 {n1 == n + 1 /\ lo1 == (k <= lo ? k : lo)  /\ hi1 == (hi <= k ? k : hi) ; r :-> y ** srtl(y, n1, lo1, hi1) }
 
-#####
+#####