src/HOL/Lambda/WeakNorm.thy

--- a/src/HOL/Lambda/WeakNorm.thy	Mon Nov 27 13:42:30 2006 +0100
+++ b/src/HOL/Lambda/WeakNorm.thy	Mon Nov 27 13:42:33 2006 +0100
@@ -584,7 +584,7 @@
 *}
 
 code_gen
-  type_NF (SML *)
+  type_NF (SML #)
 
 ML {*
 structure Norm = ROOT.WeakNorm;