tuned
authorhaftmann
Wed Apr 22 19:09:25 2009 +0200 (2009-04-22)
changeset 30963f44736b9d804
parent 30962 f5fd07c558f9
child 30964 e80c06577ade
tuned
src/Tools/code/code_target.ML
     1.1 --- a/src/Tools/code/code_target.ML	Wed Apr 22 19:09:23 2009 +0200
     1.2 +++ b/src/Tools/code/code_target.ML	Wed Apr 22 19:09:25 2009 +0200
     1.3 @@ -68,7 +68,7 @@
     1.4  fun compile f = (code_setmp f Compile; ());
     1.5  fun export f = (code_setmp f Export; ());
     1.6  fun file p f = (code_setmp f (File p); ());
     1.7 -fun string cs f = fst (the (code_setmp f (String cs)));
     1.8 +fun string stmts f = fst (the (code_setmp f (String stmts)));
     1.9  
    1.10  fun stmt_names_of_destination (String stmts) = stmts
    1.11    | stmt_names_of_destination _ = [];