--- a/src/HOL/ex/CodeCollections.thy Fri Oct 20 17:07:27 2006 +0200 +++ b/src/HOL/ex/CodeCollections.thy Fri Oct 20 17:07:41 2006 +0200 @@ -407,5 +407,6 @@ code_gen test2 code_gen (SML -) +code_gen (Haskell -) end \ No newline at end of file