Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit 25a3de1e authored by Léo Gourdin's avatar Léo Gourdin
Browse files

just remove a debug print

parent be8d929a
......@@ -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) ->
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment