let apply_hints env def labels =
match !hint_context with
| None -> ()
| Some instances ->
try
let hints = Axiomatics.apply def.l_var_info labels in
hint_context := Some(saturate instances env hints)
with err -> (*TODO nettoyer, ne pas eliminer
des exceptions trop vite*)
Wp_parameters.warning
"Error during hints computation (%s)"
(Printexc.to_string err)