Mercurial > urweb

diff src/core_print.sml @ 480:40c737913075

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Especialize handles records better
author Adam Chlipala <adamc@hcoop.net>
date Sat, 08 Nov 2008 16:02:59 -0500
parents 5c9606deacb6
children 9117a7bf229c
line wrap: on
line diff
--- a/src/core_print.sml	Sat Nov 08 14:42:52 2008 -0500
+++ b/src/core_print.sml	Sat Nov 08 16:02:59 2008 -0500
@@ -93,7 +93,7 @@
               string (#1 (E.lookupCNamed env n) ^ "__" ^ Int.toString n)
           else
               string (#1 (E.lookupCNamed env n)))
-         handle E.UnboundNamed _ => string ("UNBOUNDN_" ^ Int.toString n))
+        handle E.UnboundNamed _ => string ("UNBOUNDN_" ^ Int.toString n))
       | CFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"]
 
       | CApp (c1, c2) => parenIf par (box [p_con env c1,