src/Tools/Code/code_haskell.ML

--- a/src/Tools/Code/code_haskell.ML	Thu Dec 04 16:51:54 2014 +0100
+++ b/src/Tools/Code/code_haskell.ML	Fri Dec 05 19:35:36 2014 +0100
@@ -499,7 +499,7 @@
       Toplevel.theory (add_monad target raw_bind)));
 
 val setup =
-  Code_Target.add_target
+  Code_Target.add_language
     (target, { serializer = serializer, literals = literals,
       check = { env_var = "ISABELLE_GHC", make_destination = I,
         make_command = fn module_name =>