X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_tactics%2FnTacStatus.mli;h=307154127269847e22ce56570ae6f7f5199027f3;hb=c091ca7a030a85a529543de98e45c54284028b63;hp=c04df8d37b076750fa5a269cfc2fb467141b4ed7;hpb=4080c4f65aa9f69af505530dfbbe94ffede8052e;p=helm.git

diff --git a/helm/software/components/ng_tactics/nTacStatus.mli b/helm/software/components/ng_tactics/nTacStatus.mli
index c04df8d37..307154127 100644
--- a/helm/software/components/ng_tactics/nTacStatus.mli
+++ b/helm/software/components/ng_tactics/nTacStatus.mli
@@ -16,7 +16,7 @@ val fail: string lazy_t -> 'a
 
 type lowtac_status = {
         pstatus : NCic.obj;
-        lstatus : LexiconEngine.status
+        estatus : NEstatus.status;
 }
 
 type lowtactic = lowtac_status -> int -> lowtac_status