diff -r 525309c2e4ee -r bce3dbc11f95 src/Doc/Codegen/Adaptation.thy
--- a/src/Doc/Codegen/Adaptation.thy	Sat Jan 25 23:50:49 2014 +0100
+++ b/src/Doc/Codegen/Adaptation.thy	Sat Jan 25 23:50:49 2014 +0100
@@ -2,8 +2,8 @@
 imports Setup
 begin
 
-setup %invisible {* Code_Target.extend_target ("\<SML>", ("SML", K I))
-  #> Code_Target.extend_target ("\<SMLdummy>", ("Haskell", K I)) *}
+setup %invisible {* Code_Target.extend_target ("\<SML>", ("SML", I))
+  #> Code_Target.extend_target ("\<SMLdummy>", ("Haskell", I)) *}
 
 section {* Adaptation to target languages \label{sec:adaptation} *}