Induction proofs using variables & assumptions

1 files changed, 2 insertions, 2 deletions

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