Imported Upstream version 0.2

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

diff --git a/extracted/compiler.mli b/extracted/compiler.mli
index 26bd5740b353f110fd64192a468ba7c7fb252dbf..a2d8be900236789dbbe6ff615a245ac0ae45f045 100644 (file)
--- a/extracted/compiler.mli
+++ b/extracted/compiler.mli
@@ -322,12 +322,12 @@ val back_end :
   (((ASM.pseudo_assembly_program, CostLabel.costlabel) Types.prod,
   Joint.stack_cost_model) Types.prod, Nat.nat) Types.prod Errors.res
 
-open Assembly
-
 open Status
 
 open Fetch
 
+open Assembly
+
 open PolicyFront
 
 open PolicyStep