
diff -r 8648b5dd6a87 -r 9b7d35ca1eef src/HOL/ex/CodeCollections.thy
--- a/src/HOL/ex/CodeCollections.thy	Tue Oct 31 09:29:18 2006 +0100
+++ b/src/HOL/ex/CodeCollections.thy	Tue Oct 31 14:58:12 2006 +0100
@@ -406,7 +406,7 @@
 code_gen test1
 code_gen test2
 
-code_gen (SML -)
+code_gen (SML *)
 code_gen (Haskell -)
 
 end
\ No newline at end of file




