Changeset 796 for Deliverables/D2.2/8051
- Timestamp:
- May 13, 2011, 1:10:21 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D2.2/8051/src/clight/clightLabelling.ml
r486 r796 21 21 22 22 23 let add_cost_label_e cost_universe e = 24 Expr (Ecost (CostLabel.Gen.fresh cost_universe, e), int_type) 23 let typeof e = let Expr (_,t) = e in t 25 24 26 25 27 let typeof e = let Expr (_,t) = e in t 26 let add_cost_label_e cost_universe e = 27 Expr (Ecost (CostLabel.Gen.fresh cost_universe, e), typeof e) 28 28 29 29
Note: See TracChangeset
for help on using the changeset viewer.