diff --git a/compiler/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml
index 696b902..1d4b944 100644
--- a/compiler/heptagon/main/hept_compiler.ml
+++ b/compiler/heptagon/main/hept_compiler.ml
@@ -56,15 +56,15 @@ let compile_program p =
   (* Completion of partial definitions *)
   let p = pass "Completion" true Completion.program p pp in
 
+  (* Shared variables (remove last) *)
+  let p = pass "Last" true Last.program p pp in
+
   (* Automata *)
   let p = pass "Automata" true Automata.program p pp in
 
   (* Present *)
   let p = pass "Present" true Present.program p pp in
 
-  (* Shared variables (last) *)
-  let p = pass "Last" true Last.program p pp in
-
   (* Reset *)
   let p = pass "Reset" true Reset.program p pp in