From 50e456effc2cad22d6a61e08887816096c427658 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 6 Nov 2008 19:43:48 -0500 Subject: Tree demo working (and other assorted regressions fixed) --- demo/tree.urp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'demo/tree.urp') diff --git a/demo/tree.urp b/demo/tree.urp index 2270dd06..880a7ab4 100644 --- a/demo/tree.urp +++ b/demo/tree.urp @@ -1,5 +1,5 @@ debug -database dbname=tree +database dbname=test sql tree.sql treeFun -- cgit v1.2.3