Changeset 1136 for src/ERTL/ERTL.ma


Ignore:
Timestamp:
Aug 29, 2011, 6:01:41 PM (8 years ago)
Author:
mulligan
Message:

fixed ertl pass

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/ERTL.ma

    r1131 r1136  
    3535  | ertl_st_load: register → register → register → label → ertl_statement
    3636  | ertl_st_store: register → register → register → label → ertl_statement
    37   | ertl_st_call_id: ident → Byte → label → ertl_statement
     37  | ertl_st_call_id: ident → nat → label → ertl_statement
    3838  | ertl_st_cond: register → label → label → ertl_statement
    3939  | ertl_st_return: ertl_statement.
Note: See TracChangeset for help on using the changeset viewer.