From da10cbf6f232203ba7c798906ba8101078e2a9c9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 9 Apr 2009 14:59:29 -0400 Subject: Retry failed record summary unifications at the end, in hopes that more has been learned --- tests/cst.ur | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'tests/cst.ur') diff --git a/tests/cst.ur b/tests/cst.ur index cbaa36ed..2db083f7 100644 --- a/tests/cst.ur +++ b/tests/cst.ur @@ -22,9 +22,9 @@ table t : {A : int, B : int, C : option int} 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 -- cgit v1.2.3