- ld-html-root: ported to permanent lambda-delta url

[helm.git] / helm / software / lambda-delta / src / automath / aut.ml

diff --git a/helm/software/lambda-delta/src/automath/aut.ml b/helm/software/lambda-delta/src/automath/aut.ml
index 00213b4b3986c9ac7bd300826330b986e5f58a59..7f2ed3cc754aa2a118f77688df029fd2d4cc4316 100644 (file)
--- 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 *)