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.sml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index 0ce86726..9bb609bf 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -53,7 +53,6 @@ datatype auto_instantiate =
 datatype con' =
          TFun of con * con
        | TCFun of explicitness * string * kind * con
-       | TDisjoint of auto_instantiate * con * con * con
        | TRecord of con
 
        | CRel of int
@@ -61,7 +60,7 @@ datatype con' =
        | CModProj of int * string list * string
        | CApp of con * con
        | CAbs of string * kind * con
-       | CDisjoint of con * con * con
+       | CDisjoint of auto_instantiate * con * con * con
 
        | CName of string
 
-- 
cgit v1.2.3