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 b9e034e7 authored by Léo Gourdin's avatar Léo Gourdin
Browse files

removing useless flag check

parent b7720bc5
......@@ -284,9 +284,7 @@ let rec do_schedule code pm = function
| [] -> (code, pm)
| sb :: lsb ->
(*debug_flag := true;*)
let (code_exp, pm) =
if !Clflags.option_fexpanse_rtlcond then (expanse sb code pm)
else (code, pm) in
let (code_exp, pm) = expanse sb code pm in
(*debug_flag := false;*)
(* Trick: instead of turning loads into non trap as needed..
* First, we turn them all into non-trap.
......
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