From 489ae9fdc1b78eac867252e5088baa632d85f8c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 15 Dec 2009 19:26:52 -0500
Subject: Especialize uses a termination measure based on number of arguments
 introduced

---
 demo/tree.ur | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'demo')

diff --git a/demo/tree.ur b/demo/tree.ur
index 0a13e470..6cb5051c 100644
--- a/demo/tree.ur
+++ b/demo/tree.ur
@@ -4,9 +4,9 @@ table t : { Id : int, Parent : option int, Nam : string }
   CONSTRAINT F FOREIGN KEY Parent REFERENCES t (Id) ON DELETE CASCADE
 
 open TreeFun.Make(struct
-                      val tab = t
                       con id = #Id
                       con parent = #Parent
+                      val tab = t
                   end)
 
 fun row r = <xml>
-- 
cgit v1.2.3