From 09cf0f0791f8d05dbec240917e2010b161bb24f6 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 10 Jun 2016 08:45:09 +0200
Subject: Minimalistic prover

---
 tree.icl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tree.icl')

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
-- 
cgit v1.2.3