Changeset 3076


Ignore:
Timestamp:
Apr 3, 2013, 10:13:26 AM (4 years ago)
Author:
mckinna
Message:

simplified include dependencies

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ASM/Assembly.ma

    r3066 r3076  
    1 include "ASM/ASM.ma".
    2 include "ASM/Arithmetic.ma".
     1include "utilities/extralib.ma".
     2
    33include "ASM/Fetch.ma".
    44include "ASM/Status.ma".
    5 include alias "basics/logic.ma".
     5
    66include alias "arithmetics/nat.ma".
    7 include "utilities/extralib.ma".
     7include alias "ASM/Arithmetic.ma".
    88
    99(**************************************** START OF POLICY ABSTRACTION ********************)
Note: See TracChangeset for help on using the changeset viewer.