Changeset 1089 for src/RTL/RTL.ma


Ignore:
Timestamp:
Jul 27, 2011, 5:50:25 PM (9 years ago)
Author:
mulligan
Message:

more changes from earlier in the week

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r1071 r1089  
    2626  | rtl_st_cond: register → label → label → rtl_statement
    2727  | rtl_st_set_carry: label → rtl_statement
    28   | rtl_st_return: rtl_statement. (* XXX: change from o'caml *)
     28  | rtl_st_return: label → rtl_statement.
    2929 
    3030definition rtl_statement_graph ≝ graph rtl_statement.
Note: See TracChangeset for help on using the changeset viewer.