src/HOL/Lambda/WeakNorm.thy

--- a/src/HOL/Lambda/WeakNorm.thy	Tue Oct 31 09:29:18 2006 +0100
+++ b/src/HOL/Lambda/WeakNorm.thy	Tue Oct 31 14:58:12 2006 +0100
@@ -584,7 +584,7 @@
 *}
 
 code_gen
-  type_NF (SML -) (SML _)
+  type_NF (SML *)
 
 ML {*
 structure Norm = ROOT.WeakNorm;