src/HOL/ex/Codegenerator.thy

--- a/src/HOL/ex/Codegenerator.thy	Mon Nov 27 12:12:18 2006 +0100
+++ b/src/HOL/ex/Codegenerator.thy	Mon Nov 27 13:42:30 2006 +0100
@@ -188,6 +188,6 @@
   "op = :: mut2 \<Rightarrow> mut2 \<Rightarrow> bool"
   "op = :: ('a\<Colon>eq) point_scheme \<Rightarrow> 'a point_scheme \<Rightarrow> bool"
 
-code_gen (SML *) (Haskell -)
+code_gen (SML #) (Haskell -)
 
 end
\ No newline at end of file