From 0efe7783c50d72858352fda93d30e0f52792d658 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Mon, 24 May 2021 10:07:52 +0200
Subject: Moving common tools, adding liveness input/output information to BTL
 generation oracle

---
 riscV/ExpansionOracle.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'riscV')

diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml
index 735f5cf5..8a17217a 100644
--- a/riscV/ExpansionOracle.ml
+++ b/riscV/ExpansionOracle.ml
@@ -23,7 +23,7 @@ open Camlcoq
 open Option
 open AST
 open DebugPrint
-open AuxTools
+open RTLcommonaux
 
 (** Mini CSE (a dynamic numbering is applied during expansion. 
     The CSE algorithm is inspired by the "static" one used in backend/CSE.v *)
-- 
cgit