Changeset 700 for src/Clight/Csem.ma

Timestamp:

Mar 18, 2011, 4:28:26 PM (9 years ago)

Author:

campbell

Message:

Get Clight semantics going again (except for problems CexecEquiv? that I caused
earlier).

File:

• src/Clight/Csem.ma (modified) (1 diff)

src/Clight/Csem.ma

@@ -23 +23 @@
 (*include "AST.ma".*)
 (*include "Mem.ma".*)
-include "Globalenvs.ma".
-include "Csyntax.ma".
-include "Maps.ma".
+include "common/Globalenvs.ma".
+include "Clight/Csyntax.ma".
+include "common/Maps.ma".
 (*include "Events.ma".*)
-include "Smallstep.ma".
+include "common/Smallstep.ma".
 
 (* * * Semantics of type-dependent operations *)