From 2eca16323e58b01a70ea734e2825765ebe239dc0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 4 Oct 2008 15:50:28 -0400
Subject: Merge CDisjoint and TDisjoint

---
 src/elab_ops.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/elab_ops.sml')

diff --git a/src/elab_ops.sml b/src/elab_ops.sml
index e236e62d..95ad971f 100644
--- a/src/elab_ops.sml
+++ b/src/elab_ops.sml
@@ -146,7 +146,7 @@ fun hnormCon env (cAll as (c, loc)) =
                                    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
 
-- 
cgit v1.2.3