From 2408dd1aecf8d8c3bfd3b24a65f7f57cf602cb10 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Thu, 20 May 2021 11:58:40 +0200
Subject: Changing to an opaq record in BTL info, this is a broken commit

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

(limited to 'riscV')

diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml
index 1384b9b3..735f5cf5 100644
--- a/riscV/ExpansionOracle.ml
+++ b/riscV/ExpansionOracle.ml
@@ -23,6 +23,7 @@ open Camlcoq
 open Option
 open AST
 open DebugPrint
+open AuxTools
 
 (** Mini CSE (a dynamic numbering is applied during expansion. 
     The CSE algorithm is inspired by the "static" one used in backend/CSE.v *)
@@ -33,8 +34,6 @@ let reg = ref 1
 
 let node = ref 1
 
-let p2i r = P.to_int r
-
 let r2p () = P.of_int !reg
 
 let n2p () = P.of_int !node
-- 
cgit