Commit feba3d04 authored by bguillaum's avatar bguillaum

misplaced Timeout.start

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/semagramme/libcaml-grew/trunk@7461 7838e531-6607-4d57-9587-6c381814729c
parent fe4d797b
......@@ -178,6 +178,7 @@ module Grs = struct
module_names
let rewrite grs sequence instance =
Timeout.start ();
let modules_to_apply = modules_of_sequence grs sequence in
let rec loop instance = function
......
......@@ -845,7 +845,6 @@ module Rule = struct
| None -> Instance.rev_steps instance
let normalize modul_name ?(confluent=false) rules filters instance =
Timeout.start ();
if confluent
then
let output = conf_normalize instance rules in
......
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