Changeset 818 for Deliverables/D2.2/8051/src/cminor/cminorLabelling.ml

Timestamp:

May 19, 2011, 4:03:04 PM (10 years ago)

Author:

ayache

Message:

32 and 16 bits operations support in D2.2/8051

File:

• Deliverables/D2.2/8051/src/cminor/cminorLabelling.ml (modified) (1 diff)

Deliverables/D2.2/8051/src/cminor/cminorLabelling.ml

@@ -73 +73 @@
 
 let add_cost_labels_body cost_universe stmt =
-  CminorFold.statement_left
+  CminorFold.statement
     (f_add_cost_labels_exp cost_universe)
     (f_add_cost_labels_body cost_universe)