From dcfc1872ad947aed7896aa843d7770a8a20133b5 Mon Sep 17 00:00:00 2001
From: Ilya Sergey <i.sergey@ucl.ac.uk>
Date: Fri, 19 Oct 2018 17:43:55 +0100
Subject: [PATCH] examples fixed

---
 examples/max.syn         | 4 ++--
 examples/srtl-insert.syn | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/examples/max.syn b/examples/max.syn
index e16ba4a67..39cbd2d27 100644
--- 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 }
 
-###
\ No newline at end of file
+###
diff --git a/examples/srtl-insert.syn b/examples/srtl-insert.syn
index f4e7879c9..e8d6d6728 100644
--- 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) }
 
-#####
\ No newline at end of file
+#####