X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=extracted%2Fsemantics.mli;h=5957a12f74c84cf74c8698396d6d0d77d78a4ce3;hb=a8625face4ff4ee0db0ce15e77bfbc5db832aa56;hp=68973c5166a746cf6bfdd4b638391f89c5035888;hpb=69b6010f0016bba47bc7e74ad8e1f3fa473f259f;p=pkg-cerco%2Facc-trusted.git

diff --git a/extracted/semantics.mli b/extracted/semantics.mli
index 68973c5..5957a12 100644
--- 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