diff src/mono_shake.sml @ 196:890a61991263

Lists all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:48:32 -0400
parents 8e9f97508f0d
children 42dfb0d61cf0
line wrap: on
line diff
--- a/src/mono_shake.sml	Sat Aug 09 12:50:49 2008 -0400
+++ b/src/mono_shake.sml	Sat Aug 09 16:48:32 2008 -0400
@@ -58,7 +58,7 @@
 
         fun typ (c, s) =
             case c of
-                TDatatype (_, n, _) =>
+                TDatatype (n, _) =>
                 if IS.member (#con s, n) then
                     s
                 else