new intermediate language complete_rg,

[helm.git] / helm / software / helena / src / basic_ag / bag.ml

diff --git a/helm/software/helena/src/basic_ag/bag.ml b/helm/software/helena/src/basic_ag/bag.ml
index fc0f72f9ab6e0df795a63cf13da12c05c6092a20..5e7c07b5b3238d4da9ebbd233712128a94ae74c6 100644 (file)
--- a/helm/software/helena/src/basic_ag/bag.ml
+++ b/helm/software/helena/src/basic_ag/bag.ml
@@ -30,7 +30,7 @@ and term = Sort of int                       (* hierarchy index *)
 
 type entity = term E.entity (* attrs, uri, binder *)
 
-type lenv = (attrs * int * bind) list (* location, name, binder *) 
+type lenv = (attrs * int * bind) list (* name, location, binder *) 
 
 type message = (lenv, term) Log.item list