From 1a78c940f46273b7146d2111b1e2da309434f021 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Thu, 27 May 2021 16:55:18 +0200
Subject: [disabled checker] BTL Scheduling and Renumbering OK!

---
 backend/RTLcommonaux.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'backend')

diff --git a/backend/RTLcommonaux.ml b/backend/RTLcommonaux.ml
index 2334dfee..0e369d04 100644
--- a/backend/RTLcommonaux.ml
+++ b/backend/RTLcommonaux.ml
@@ -6,6 +6,7 @@ open Kildall
 open Lattice
 
 let p2i r = P.to_int r
+let i2p i = P.of_int i
 
 let get_some = function
   | None -> failwith "Got None instead of Some _"
-- 
cgit