From 25a3de1e003f02012eefe427ea24c875972c5c22 Mon Sep 17 00:00:00 2001
From: Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr>
Date: Sat, 29 May 2021 23:09:08 +0200
Subject: just remove a debug print

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

(limited to 'riscV')

diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml
index 1384b9b3..b3f1f8ce 100644
--- a/riscV/ExpansionOracle.ml
+++ b/riscV/ExpansionOracle.ml
@@ -696,7 +696,6 @@ let expanse (sb : superblock) code pm =
       was_exp := false;
       let inst = get_some @@ PTree.get n code in
       (if !Clflags.option_fexpanse_rtlcond then
-         debug "We are checking node %d\n" (p2i n);
        match inst with
        (* Expansion of conditions - Ocmp *)
        | Iop (Ocmp (Ccomp c), a1 :: a2 :: nil, dest, succ) ->
-- 
cgit