Mercurial > urweb

diff src/mono_print.sml @ 196:890a61991263

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Lists all the way through
author Adam Chlipala <adamc@hcoop.net>
date Sat, 09 Aug 2008 16:48:32 -0400
parents 8e9f97508f0d
children 71bafe66dbe1
line wrap: on
line diff
--- a/src/mono_print.sml	Sat Aug 09 12:50:49 2008 -0400
+++ b/src/mono_print.sml	Sat Aug 09 16:48:32 2008 -0400
@@ -53,7 +53,7 @@
                                             space,
                                             p_typ env t]) xcs,
                             string "}"]
-      | TDatatype (_, n, _) =>
+      | TDatatype (n, _) =>
         ((if !debug then
               string (#1 (E.lookupDatatype env n) ^ "__" ^ Int.toString n)
           else