--- a/src/HOL/ex/Classpackage.thy Fri Oct 20 17:07:27 2006 +0200 +++ b/src/HOL/ex/Classpackage.thy Fri Oct 20 17:07:41 2006 +0200 @@ -324,5 +324,6 @@ code_gen x1 x2 y2 (SML) (Haskell) code_gen (SML -) +code_gen (Haskell -) end