Changeset 1147 for src/Cminor


Ignore:
Timestamp:
Aug 30, 2011, 4:09:20 PM (9 years ago)
Author:
campbell
Message:

Remove some obsolete commented out code, update a couple of comments.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/syntax.ma

    r1139 r1147  
    4141}.
    4242
     43(* We define two closely related versions of Cminor, the first with the original
     44   initialisation data for global variables, and the second where the code is
     45   responsible for initialisation and we only give the size of each variable. *)
     46
    4347definition Cminor_program ≝ program (fundef internal_function) (list init_data).
    4448
Note: See TracChangeset for help on using the changeset viewer.