src/HOL/Imperative_HOL/Heap_Monad.thy
changeset 59104 a14475f044b2
parent 59058 a78612c67ec0
child 61566 c3d6e570ccef
     1.1 --- a/src/HOL/Imperative_HOL/Heap_Monad.thy	Thu Dec 04 16:51:54 2014 +0100
     1.2 +++ b/src/HOL/Imperative_HOL/Heap_Monad.thy	Fri Dec 05 19:35:36 2014 +0100
     1.3 @@ -697,9 +697,9 @@
     1.4  
     1.5  in
     1.6  
     1.7 -Code_Target.extend_target ("SML_imp", ("SML", imp_program))
     1.8 -#> Code_Target.extend_target ("OCaml_imp", ("OCaml", imp_program))
     1.9 -#> Code_Target.extend_target ("Scala_imp", ("Scala", imp_program))
    1.10 +Code_Target.add_derived_target ("SML_imp", [("SML", imp_program)])
    1.11 +#> Code_Target.add_derived_target ("OCaml_imp", [("OCaml", imp_program)])
    1.12 +#> Code_Target.add_derived_target ("Scala_imp", [("Scala", imp_program)])
    1.13  
    1.14  end
    1.15