Minimalistic prover

1 files changed, 1 insertions, 1 deletions

diff --git a/tree.icl b/tree.icl
index f895c89..5472b40 100644
--- a/tree.icl
+++ b/tree.icl
@@ -20,7 +20,7 @@ Start w
 # tree       = trace (toString tree +++ "\n") tree
 = toString (toLaTeX tree)
 where
-	devtree pgm = fromJust (tree pgm zero { zero & input = [""] } listIO)
+	devtree pgm = fromJust (tree pgm zero { zero & input = [Lit ""] } listIO)
 
 	readFile :: !*File -> *(!String, !*File)
 	readFile f