Changeset 2186 for src/RTL


Ignore:
Timestamp:
Jul 16, 2012, 4:59:09 PM (8 years ago)
Author:
tranquil
Message:

updated joint semantics

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL_paolo.ma

    r2155 r2186  
    5959definition rtl_statement ≝ joint_statement rtl_params.
    6060
    61 interpretation "move" 'mov r a = (MOVE ? ? (mk_Prod ? rtl_argument r a)).
     61interpretation "move" 'mov r a = (MOVE rtl_params ? (mk_Prod ? rtl_argument r a)).
    6262
    6363(* aid unification *)
Note: See TracChangeset for help on using the changeset viewer.