tuned

--- a/src/Tools/code/code_target.ML	Wed Apr 22 19:09:23 2009 +0200
+++ b/src/Tools/code/code_target.ML	Wed Apr 22 19:09:25 2009 +0200
@@ -68,7 +68,7 @@
 fun compile f = (code_setmp f Compile; ());
 fun export f = (code_setmp f Export; ());
 fun file p f = (code_setmp f (File p); ());
-fun string cs f = fst (the (code_setmp f (String cs)));
+fun string stmts f = fst (the (code_setmp f (String stmts)));
 
 fun stmt_names_of_destination (String stmts) = stmts
   | stmt_names_of_destination _ = [];