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/clight/clightAnnotator.ml

    r486 r619  
    1212
    1313
    14 (* Program var names, cost labels and labels *)
     14(* Program var and fun names, cost labels and labels *)
    1515
    1616let string_set_of_list l =
     
    312312  let res = ClightParser.process tmp_file in
    313313  Misc.SysExt.safe_remove tmp_file ;
    314   res
    315 
    316 
     314  (res, cost_incr)
Note: See TracChangeset for help on using the changeset viewer.