--- 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