From fe557bf65ec738eaa078bc5e398ff690eb1f2b9e Mon Sep 17 00:00:00 2001
From: "nicolas.nardino" <nicolas.nardino@ens-lyon.fr>
Date: Thu, 17 Jun 2021 17:03:53 +0200
Subject: changed type of schedule_seq in x86 for compatibility

---
 x86/PrepassSchedulingOracle.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/x86/PrepassSchedulingOracle.ml b/x86/PrepassSchedulingOracle.ml
index 7b6a1b14..42a3da23 100644
--- a/x86/PrepassSchedulingOracle.ml
+++ b/x86/PrepassSchedulingOracle.ml
@@ -2,4 +2,5 @@ open RTL
 open Registers
 
 (* Do not do anything *)
-let schedule_sequence (seqa : (instruction*Regset.t) array) = None
+let schedule_sequence (seqa : (instruction*Regset.t) array)
+      live_regs_entry typing reference = None
-- 
cgit