Une MAJ de sécurité est nécessaire sur notre version actuelle. Elle sera effectuée lundi 02/08 entre 12h30 et 13h. L'interruption de service devrait durer quelques minutes (probablement moins de 5 minutes).

Commit e55d8f29 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Replaced not_found exception with matching/replace exception.

parent 4e21c156
......@@ -233,7 +233,7 @@ let replace_subst lp lv f1 f2 t =
end in
let t = t_map (replace lv f1 f2) t in
match !is_replaced with
| None -> raise Not_found
| None -> raise (Arg_trans "matching/replace")
| Some subst ->
(List.map (t_subst subst) lp, t)
......
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