Changeset 1271 for src/ERTL/uses.ma


Ignore:
Timestamp:
Sep 26, 2011, 4:24:32 PM (9 years ago)
Author:
mulligan
Message:

finished, kind of

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/uses.ma

    r1260 r1271  
    3535    | joint_instr_clear_carry ⇒ uses
    3636    | joint_instr_set_carry ⇒ uses
    37     | joint_instr_call_id _ _ ⇒ uses
     37    | joint_instr_call_id _ _ _ ⇒ uses
    3838    | joint_instr_pop r ⇒ count r uses
    3939    | joint_instr_push r ⇒ count r uses
Note: See TracChangeset for help on using the changeset viewer.