diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-29 23:09:08 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-29 23:09:08 +0200 |
commit | 25a3de1e003f02012eefe427ea24c875972c5c22 (patch) | |
tree | cc54772ee76dec345c603b944aefb86a9dc23cb8 /riscV | |
parent | be8d929aef8e86c2e22e32c525093c6bfe56a300 (diff) | |
download | compcert-kvx-25a3de1e003f02012eefe427ea24c875972c5c22.tar.gz compcert-kvx-25a3de1e003f02012eefe427ea24c875972c5c22.zip |
just remove a debug print
Diffstat (limited to 'riscV')
-rw-r--r-- | riscV/ExpansionOracle.ml | 1 |
1 files changed, 0 insertions, 1 deletions
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) -> |