From 846cf3f1661a8c91e40d80382db28c76dceaf1f0 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Tue, 29 Jul 2008 15:43:17 -0400
Subject: Storing datatype constructors in type references past monoize

---
 src/mono_shake.sml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/mono_shake.sml')

diff --git a/src/mono_shake.sml b/src/mono_shake.sml
index 490c33c8..55054f15 100644
--- a/src/mono_shake.sml
+++ b/src/mono_shake.sml
@@ -56,7 +56,7 @@ fun shake file =
 
         fun typ (c, s) =
             case c of
-                TNamed n =>
+                TDatatype (n, _) =>
                 if IS.member (#con s, n) then
                     s
                 else
-- 
cgit v1.2.3