From c157e4972600f0bb34848f8afba04e0b318f5ccb Mon Sep 17 00:00:00 2001
From: FranchuFranchu <fff999abc999@gmail.com>
Date: Thu, 14 Mar 2024 15:39:44 -0300
Subject: [PATCH] fix hvmc compile

---
 src/main.rs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/main.rs b/src/main.rs
index f7f26972..232b16cb 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -451,9 +451,10 @@ fn compile_executable(target: &str, host: &host::Host) -> Result<(), io::Error>
     stdlib
     trace
     transform {
-      pre_reduce
-      encode_adts
       coalesce_ctrs
+      encode_adts
+      eta_reduce
+      pre_reduce
     }
     util {
       apply_tree