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

(limited to 'src/elab_print.sml')

diff --git a/src/elab_print.sml b/src/elab_print.sml
index 12abf6b0..72453f29 100644
--- a/src/elab_print.sml
+++ b/src/elab_print.sml
@@ -363,6 +363,8 @@ fun p_exp' par env (e, _) =
                                                                              p_exp env e]) pes])
 
       | EError => string "<ERROR>"
+      | EUnif (ref (SOME e)) => p_exp env e
+      | EUnif _ => string "_"
 
 and p_exp env = p_exp' false env
 
-- 
cgit v1.2.3