- bug fix in the static disambiguation of unified binders

[helm.git] / helm / software / helena / src / xml / xmlLibrary.mli

diff --git a/helm/software/helena/src/xml/xmlLibrary.mli b/helm/software/helena/src/xml/xmlLibrary.mli
index aeac272c26bbdab0e5cef66a90bca511ef2bc9e6..ca9dbf63432101f535f8414d561475d79b2c3a57 100644 (file)
--- a/helm/software/helena/src/xml/xmlLibrary.mli
+++ b/helm/software/helena/src/xml/xmlLibrary.mli
@@ -47,6 +47,8 @@ val name: Entity.node_attrs -> attr
 
 val apix: Entity.node_attrs -> attr
 
+val degr: Entity.node_attrs -> attr
+
 val meta: Entity.root_attrs -> attr
 
 val info: Entity.root_attrs -> attr list