X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fautomath%2Faut.ml;h=7f2ed3cc754aa2a118f77688df029fd2d4cc4316;hb=fa5cd121c672589afc0ac8ddd5d184897a38c7c6;hp=00213b4b3986c9ac7bd300826330b986e5f58a59;hpb=ab13cfa248f0ee58d239ceeddfb50ec49a6b5c6d;p=helm.git

diff --git a/helm/software/lambda-delta/src/automath/aut.ml b/helm/software/lambda-delta/src/automath/aut.ml
index 00213b4b3..7f2ed3cc7 100644
--- a/helm/software/lambda-delta/src/automath/aut.ml
+++ b/helm/software/lambda-delta/src/automath/aut.ml
@@ -9,7 +9,9 @@
      \ /   This software is distributed as is, NO WARRANTY.              
       V_______________________________________________________________ *)
 
-type id = string (* identifier *)
+module E = Entity
+
+type id = E.id
 
 type qid = id * bool * id list (* qualified identifier: name, local?, path *)