From db89208f22b2e48491fe427ceab960763d3dd2e8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Le=CC=81onard=20Ge=CC=81rard?= Date: Mon, 5 Nov 2012 10:10:32 +0100 Subject: [PATCH] Translate last before removing automatons. --- compiler/heptagon/main/hept_compiler.ml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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