From a2e5705c43f9705768652845b30fc3605cbb4873 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 21 Aug 2008 14:45:31 -0400
Subject: Resolving lingering type class constraints

---
 src/elab.sml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/elab.sml')

diff --git a/src/elab.sml b/src/elab.sml
index 10f9bba6..30b53064 100644
--- a/src/elab.sml
+++ b/src/elab.sml
@@ -111,6 +111,7 @@ datatype exp' =
        | ECase of exp * (pat * exp) list * { disc : con, result : con }
 
        | EError
+       | EUnif of exp option ref
 
 withtype exp = exp' located
 
-- 
cgit v1.2.3