From 97325a5ef30b63c68adaffb69a0bcfa7f1135d64 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 10 Jun 2016 10:36:49 +0200
Subject: Induction proofs using variables & assumptions

---
 tree.icl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'tree.icl')

diff --git a/tree.icl b/tree.icl
index 5472b40..e2524a9 100644
--- a/tree.icl
+++ b/tree.icl
@@ -12,7 +12,7 @@ import SmurfParse
 import LaTeX
 
 Start w
-# (_,f,w)    = fopen "reverse.smf" FReadText w
+# (_,f,w)    = fopen "reverse-ward.smf" FReadText w
 # (pgm,f)    = readFile f
 # (ok,w)     = fclose f w
 # (Just pgm) = parse [c \\ c <-: pgm]
@@ -20,7 +20,7 @@ Start w
 # tree       = trace (toString tree +++ "\n") tree
 = toString (toLaTeX tree)
 where
-	devtree pgm = fromJust (tree pgm zero { zero & input = [Lit ""] } listIO)
+	devtree pgm = fromJust (tree pgm zero { zero & input = [Lit "xy"] } listIO)
 
 	readFile :: !*File -> *(!String, !*File)
 	readFile f
-- 
cgit v1.2.3