- bugfix is refreshed state of AutCrg: now we return a fresh state

[helm.git] / helm / software / helena / src / automath / autCrg.ml

diff --git a/helm/software/helena/src/automath/autCrg.ml b/helm/software/helena/src/automath/autCrg.ml
index 866f383417b680e131f573c617b032802276eea2..a92b6fea98f44b696c10675650a5317bcafcdf40 100644 (file)
--- a/helm/software/helena/src/automath/autCrg.ml
+++ b/helm/software/helena/src/automath/autCrg.ml
@@ -239,8 +239,6 @@ let initial_status () =
    path = []; node = None; nodes = []; line = 1; mk_uri = G.get_mk_uri ();
 }
 
-let refresh_status lst = {lst with
-   mk_uri = G.get_mk_uri (); line = 1;
-}
+let refresh_status lst = initial_status ()
 
 let crg_of_aut = xlate_entity