Changeset 3076

Timestamp:

Apr 3, 2013, 10:13:26 AM (8 years ago)

Author:

mckinna

Message:

simplified include dependencies

File:

• src/ASM/Assembly.ma (modified) (1 diff)

src/ASM/Assembly.ma

@@ -1 @@
-include "ASM/ASM.ma".
-include "ASM/Arithmetic.ma".
+include "utilities/extralib.ma".
+
 include "ASM/Fetch.ma".
 include "ASM/Status.ma".
-include alias "basics/logic.ma".
+
 include alias "arithmetics/nat.ma".
-include "utilities/extralib.ma".
+include alias "ASM/Arithmetic.ma".
 
 (**************************************** START OF POLICY ABSTRACTION ********************)