Mercurial > urweb

diff src/elab_ops.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 075b36dbb1a4
children 1bbcc3345d12
line wrap: on
line diff
--- a/src/elab_ops.sml	Thu Sep 18 15:01:01 2008 -0400
+++ b/src/elab_ops.sml	Sat Oct 04 15:50:28 2008 -0400
@@ -146,7 +146,7 @@
                                    val c = (CApp (c, r), loc)
                                    fun unconstraint c =
                                        case hnormCon env c of
-                                           (CDisjoint (_, _, c), _) => unconstraint c
+                                           (CDisjoint (_, _, _, c), _) => unconstraint c
                                          | c => c
                                    val c = unconstraint c