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_env.sml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/elab_env.sml')

diff --git a/src/elab_env.sml b/src/elab_env.sml
index 49eb1d86..936d8fce 100644
--- a/src/elab_env.sml
+++ b/src/elab_env.sml
@@ -363,6 +363,7 @@ fun class_name_in (c, _) =
     case c of
         CNamed n => SOME (ClNamed n)
       | CModProj x => SOME (ClProj x)
+      | CUnif (_, _, _, ref (SOME c)) => class_name_in c
       | _ => NONE
 
 fun class_key_in (c, _) =
@@ -370,6 +371,7 @@ fun class_key_in (c, _) =
         CRel n => SOME (CkRel n)
       | CNamed n => SOME (CkNamed n)
       | CModProj x => SOME (CkProj x)
+      | CUnif (_, _, _, ref (SOME c)) => class_key_in c
       | _ => NONE
 
 fun class_pair_in (c, _) =
-- 
cgit v1.2.3