Changeset 3015


Ignore:
Timestamp:
Mar 28, 2013, 4:58:51 PM (4 years ago)
Author:
sacerdot
Message:

Comment removed

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/acc.ml

    r3014 r3015  
    3232;;
    3333
    34 (*
    35 let argv1 = Sys.argv.(1) in
    36 let do_exec,filename =
    37  if argv1 = "-exec" then
    38   true,Sys.argv.(2)
    39  else
    40   false,argv1 in
    41 *)
    4234List.iter (fun filename ->
    4335let do_exec = Options.interpretations_requested () in
Note: See TracChangeset for help on using the changeset viewer.