Changeset 2289


Ignore:
Timestamp:
Aug 2, 2012, 5:04:37 PM (7 years ago)
Author:
campbell
Message:

Update alias

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/toRTLabs.ma

    r2287 r2289  
    623623alias id "R_skip" = "cic:/matita/cerco/RTLabs/syntax/statement.con(0,1,0)".
    624624(* If reenabling tailcalls, change 12 to 14. *)
    625 alias id "R_return" = "cic:/matita/cerco/RTLabs/syntax/statement.con(0,12,0)".
     625alias id "R_return" = "cic:/matita/cerco/RTLabs/syntax/statement.con(0,11,0)".
    626626
    627627lemma lookup_label_rev : ∀lenv,l,l',p.
Note: See TracChangeset for help on using the changeset viewer.