Changeset 796 for Deliverables


Ignore:
Timestamp:
May 13, 2011, 1:10:21 PM (8 years ago)
Author:
campbell
Message:

Put correct type on cost label expressions in the prototype.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D2.2/8051/src/clight/clightLabelling.ml

    r486 r796  
    2121
    2222
    23 let add_cost_label_e cost_universe e =
    24   Expr (Ecost (CostLabel.Gen.fresh cost_universe, e), int_type)
     23let typeof e = let Expr (_,t) = e in t
    2524
    2625
    27 let typeof e = let Expr (_,t) = e in t
     26let add_cost_label_e cost_universe e =
     27  Expr (Ecost (CostLabel.Gen.fresh cost_universe, e), typeof e)
    2828
    2929
Note: See TracChangeset for help on using the changeset viewer.