src/Tools/code/code_target.ML

 
 (*FIXME why another code_setmp?*)
 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 _ = [];
 
 fun mk_serialization target (SOME comp) _ _ code Compile = (comp code; NONE)