Changeset 765 for src/RTLabs/test


Ignore:
Timestamp:
Apr 20, 2011, 5:39:00 PM (9 years ago)
Author:
campbell
Message:

Remove superfluous register in RTLabs return statements.

Also fix up RTLabs prototype pretty printer's handling of global variables.

Location:
src/RTLabs/test
Files:
1 added
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/test/search.ma

    r750 r765  
    132132    (pair ?? search10 (make_St_cond2 (Ocmp Clt) 12 13 search9 search5));
    133133    (pair ?? search1 (make_St_op1 Onegint 8 9 search0));
    134     (pair ?? search0 (make_St_return 8))
     134    (pair ?? search0 (make_St_return))
    135135]
    136136
     
    233233    (pair ?? main10 (make_St_const 11 (Ointconst (repr 1)) main9));
    234234    (pair ?? main1 (make_St_op1 Ocast8unsigned 2 1 main0));
    235     (pair ?? main0 (make_St_return 2))
     235    (pair ?? main0 make_St_return)
    236236]
    237237
Note: See TracChangeset for help on using the changeset viewer.