Ignore:
Timestamp:
May 24, 2012, 5:10:05 PM (7 years ago)
Author:
campbell
Message:

Make front-end memory model only depend on the general definitions by
moving a few definitions from the back-end one. Give the front-end
model a more descriptive name.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/Cminor/semantics.ma

    r1988 r1993  
    11include "common/Events.ma".
    2 include "common/Mem.ma".
     2include "common/FrontEndMem.ma".
    33include "common/IO.ma".
    44include "common/Globalenvs.ma".
Note: See TracChangeset for help on using the changeset viewer.