Mercurial > urweb

diff src/disjoint.sml @ 345:b85e6ba56618

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Merge CDisjoint and TDisjoint
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Oct 2008 15:50:28 -0400
parents bc5015b89dd2
children 6ee1c761818f
line wrap: on
line diff
--- a/src/disjoint.sml	Thu Sep 18 15:01:01 2008 -0400
+++ b/src/disjoint.sml	Sat Oct 04 15:50:28 2008 -0400
@@ -315,8 +315,7 @@
             end
     in
         case c of
-            CDisjoint cs => doDisj cs
-          | TDisjoint (Instantiate, c1, c2, c) => doDisj (c1, c2, c)
+            CDisjoint (Instantiate, c1, c2, c) => doDisj (c1, c2, c)
           | _ => (cAll, [])
     end