Ignore:
Timestamp:
Mar 2, 2011, 3:27:41 PM (9 years ago)
Author:
ayache
Message:

Update of D2.2 from Paris.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/cminor/cminorAnnotator.ml

    r486 r619  
    137137    (f_name, instrument_function costs_mapping cost_id f_def) in
    138138  let functs = List.map f p.Cminor.functs in
    139   { Cminor.vars   = vars ;
    140     Cminor.functs = functs ;
    141     Cminor.main   = p.Cminor.main }
     139  ({ Cminor.vars   = vars ;
     140     Cminor.functs = functs ;
     141     Cminor.main   = p.Cminor.main },
     142   "" (* TODO *))
    142143
    143144
Note: See TracChangeset for help on using the changeset viewer.