Changeset 2792 for driver


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

Make instrumented output a little easier to read.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/clightPrinter.ml

    r2789 r2792  
    277277  match !return_cost with
    278278  | None -> ()
    279   | Some s -> fprintf p "__stack_size_incr(-%d);@ " s
     279  | Some s -> fprintf p "@ __stack_size_incr(-%d);@ " s
    280280
    281281let rec print_stmt p s =
Note: See TracChangeset for help on using the changeset viewer.