1.1 --- a/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy	Mon Jan 06 09:31:21 2014 +0100
     1.2 +++ b/src/HOL/ex/Set_Comprehension_Pointfree_Tests.thy	Mon Jan 06 19:55:01 2014 +0100
     1.3 @@ -133,8 +133,8 @@
     1.4  where
     1.5    "products A B = {c. EX a b. a : A & b : B & c = a * b}"
     1.6  
     1.7 -export_code products in Haskell file -
     1.8 +export_code products in Haskell
     1.9  
    1.10 -export_code union common_subsets products in Haskell file -
    1.11 +export_code union common_subsets products in Haskell
    1.12  
    1.13  end