Changeset 765 for src/RTLabs/syntax.ma


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.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTLabs/syntax.ma

    r764 r765  
    5454| St_cond2 : binary_operation → register → register → label → label → statement
    5555| St_jumptable : register → list label → statement
    56 | St_return : register → statement
     56| St_return : statement
    5757.
    5858
Note: See TracChangeset for help on using the changeset viewer.