Changeset 2964


Ignore:
Timestamp:
Mar 26, 2013, 6:33:49 PM (4 years ago)
Author:
sacerdot
Message:

Debugging code removed.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/cerco.ml

    r2960 r2964  
    5757  | Error m -> failwith (Error.errormsg m)
    5858in
    59 prerr_endline "GOO1";
    6059let labelled = output.Extracted.Compiler.c_labelled_clight in
    6160let l_costmap = output.Extracted.Compiler.c_clight_cost_map in
Note: See TracChangeset for help on using the changeset viewer.