Changeset 1106


Ignore:
Timestamp:
Aug 24, 2011, 2:23:48 PM (8 years ago)
Author:
mulligan
Message:

changes necessary to get RTLabs->RTL to compile

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL.ma

    r1089 r1106  
    2626  | rtl_st_cond: register → label → label → rtl_statement
    2727  | rtl_st_set_carry: label → rtl_statement
    28   | rtl_st_return: label → rtl_statement.
     28  | rtl_st_return: rtl_statement.
    2929 
    3030definition rtl_statement_graph ≝ graph rtl_statement.
Note: See TracChangeset for help on using the changeset viewer.