1.1 --- a/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy	Thu Oct 23 16:07:03 2008 +0200
     1.2 +++ b/doc-src/IsarAdvanced/Codegen/Thy/Adaption.thy	Fri Oct 24 10:41:13 2008 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  imports Setup
     1.5  begin
     1.6  
     1.7 -setup %invisible {* Code_Target.extend_target ("\<SML>", ("SML", I)) *}
     1.8 +setup %invisible {* Code_Target.extend_target ("\<SML>", ("SML", K I)) *}
     1.9  
    1.10  section {* Adaption to target languages \label{sec:adaption} *}
    1.11