Mercurial > urweb

diff tests/cst.ur @ 713:baaae037e7f6

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Retry failed record summary unifications at the end, in hopes that more has been learned
author Adam Chlipala <adamc@hcoop.net>
date Thu, 09 Apr 2009 14:59:29 -0400
parents 915ec60592d4
children 0f42461273cf
line wrap: on
line diff
--- a/tests/cst.ur	Thu Apr 09 13:59:34 2009 -0400
+++ b/tests/cst.ur	Thu Apr 09 14:59:29 2009 -0400
@@ -22,9 +22,9 @@
   CONSTRAINT ForAB FOREIGN KEY (A, B) REFERENCES u (D, C) ON DELETE CASCADE ON UPDATE RESTRICT,
   CONSTRAINT ForBA FOREIGN KEY (A, B) REFERENCES u (C, D) ON UPDATE NO ACTION,
   CONSTRAINT ForB FOREIGN KEY B REFERENCES u (E),
-  CONSTRAINT ForC FOREIGN KEY C REFERENCES u (C)
+  CONSTRAINT ForC FOREIGN KEY C REFERENCES u (C),
 
-  (*CONSTRAINT Self FOREIGN KEY B REFERENCES t (B)*)
+  CONSTRAINT Self FOREIGN KEY B REFERENCES t (B)
 
 table s : {B : option int}
   CONSTRAINT UniB UNIQUE B