Imported Upstream version 0.2

[pkg-cerco/acc-trusted.git] / extracted / semantics.mli

diff --git a/extracted/semantics.mli b/extracted/semantics.mli
index 68973c5166a746cf6bfdd4b638391f89c5035888..5957a12f74c84cf74c8698396d6d0d77d78a4ce3 100644 (file)
--- a/extracted/semantics.mli
+++ b/extracted/semantics.mli
@@ -14,12 +14,12 @@ open Interpret
 
 open ASMCosts
 
-open Assembly
-
 open Status
 
 open Fetch
 
+open Assembly
+
 open PolicyFront
 
 open PolicyStep