src/Tools/Code/code_haskell.ML
changeset 59104 a14475f044b2
parent 58454 271829a473ed
child 59323 468bd3aedfa1
     1.1 --- a/src/Tools/Code/code_haskell.ML	Thu Dec 04 16:51:54 2014 +0100
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Fri Dec 05 19:35:36 2014 +0100
     1.3 @@ -499,7 +499,7 @@
     1.4        Toplevel.theory (add_monad target raw_bind)));
     1.5  
     1.6  val setup =
     1.7 -  Code_Target.add_target
     1.8 +  Code_Target.add_language
     1.9      (target, { serializer = serializer, literals = literals,
    1.10        check = { env_var = "ISABELLE_GHC", make_destination = I,
    1.11          make_command = fn module_name =>