--- a/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy	Mon Jan 06 09:31:21 2014 +0100
+++ b/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy	Mon Jan 06 19:55:01 2014 +0100
@@ -133,8 +133,8 @@
 where
   "products A B = {c. EX a b. a : A & b : B & c = a * b}"
 
-export_code products in Haskell file -
+export_code products in Haskell
 
-export_code union common_subsets products in Haskell file -
+export_code union common_subsets products in Haskell
 
 end