From ba104e31d3576e661c8b8db1b7e9ca5505002430 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 9 Apr 2009 15:51:50 -0400
Subject: Use FOREIGN KEY in Tree demo

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

(limited to 'demo/tree.ur')

diff --git a/demo/tree.ur b/demo/tree.ur
index 99f93011..b02e1f00 100644
--- a/demo/tree.ur
+++ b/demo/tree.ur
@@ -1,6 +1,7 @@
 sequence s
 table t : { Id : int, Parent : option int, Nam : string }
-  PRIMARY KEY Id
+  PRIMARY KEY Id,
+  CONSTRAINT F FOREIGN KEY Parent REFERENCES t (Id) ON DELETE CASCADE
 
 open TreeFun.Make(struct
                       val tab = t
-- 
cgit v1.2.3