From a3319eb05543930844dedd9ac31ed1beaac3047e Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Tue, 20 Jul 2021 15:21:29 +0200
Subject: Fix compile on ARM/x86 backends

---
 aarch64/ExpansionOracle.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'aarch64/ExpansionOracle.ml')

diff --git a/aarch64/ExpansionOracle.ml b/aarch64/ExpansionOracle.ml
index 3b63b80d..0869007c 100644
--- a/aarch64/ExpansionOracle.ml
+++ b/aarch64/ExpansionOracle.ml
@@ -10,8 +10,6 @@
 (*                                                             *)
 (* *************************************************************)
 
-open RTLpathCommon
-
-let expanse (sb : superblock) code pm = (code, pm)
+let expanse n ibf btl = btl
 
 let find_last_node_reg c = ()
-- 
cgit