From 7865cb372d95c42542d59cbcf83ba541b0ab3f8a Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 24 Feb 2009 12:01:24 -0500
Subject: Switch to TDisjoint from CDisjoint; still need to implement
 obligation generation at EDisjoint uses

---
 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 60a7639d..a26ba17d 100644
--- a/src/elab_ops.sml
+++ b/src/elab_ops.sml
@@ -194,7 +194,7 @@ fun hnormCon env (cAll as (c, loc)) =
                           let
                               fun unconstraint c =
                                   case hnormCon env c of
-                                      (CDisjoint (_, _, _, c), _) => unconstraint c
+                                      (TDisjoint (_, _, c), _) => unconstraint c
                                     | c => c
 
                               fun tryDistributivity () =
-- 
cgit v1.2.3