X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaTypes.ml;h=5df68ea86dca84d94d0ff52b4c86c082a9081935;hb=afe21e48aefe81db3ca150fac9a5bbfbc893fa59;hp=4ac480cf1761b5fed5fbcbcac80d313f995185d0;hpb=f2551cc0cc563b34b88a70a6bb0ef5e352a5d542;p=helm.git

diff --git a/helm/matita/matitaTypes.ml b/helm/matita/matitaTypes.ml
index 4ac480cf1..5df68ea86 100644
--- a/helm/matita/matitaTypes.ml
+++ b/helm/matita/matitaTypes.ml
@@ -61,6 +61,7 @@ type ast_command = (CicNotationPt.term, GrafiteAst.obj) GrafiteAst.command
 
 type status = {
   aliases: DisambiguateTypes.environment;
+  multi_aliases: DisambiguateTypes.multiple_environment;
   moo_content_rev: ast_command list;
   proof_status: proof_status;
   options: options;