Changeset 2791


Ignore:
Timestamp:
Mar 6, 2013, 4:50:30 PM (6 years ago)
Author:
campbell
Message:

Remove dead code in driver.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/cerco.ml

    r2789 r2791  
    4242print_newline ();
    4343print_endline (ASMPrinter.print_program (Extracted.ASM.oc (Extracted.Compiler.c_labelled_object_code output)));
    44 (*
    45 let OK mid = Extracted.Compiler.front_end cl in
    46 let rtlabs = Extracted.Types.snd mid in
    47 let g = Extracted.RTLabs_semantics.make_global0 rtlabs in
    48 let OK s0 = Extracted.RTLabs_semantics.make_initial_state0 rtlabs in
    49 let r = run g s0 in
    50 exit (bv_to_int r)
    5144
    52 val compile :
    53   Csyntax.clight_program -> ((object_code, costlabel_map1) Types.prod,
    54   (Csyntax.clight_program, Label.clight_cost_map) Types.dPair) Types.prod
    55   Errors.res
    56 *)
Note: See TracChangeset for help on using the changeset viewer.