X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fmathql_semantics.ml;h=49896a220f27e4646b7b6b855e54403283e2bdee;hb=bc8b40d7d0d2fffc2343410d793656a6461285b7;hp=e7e5ee5e5551605b2aacab4aff3bd89766c3696f;hpb=7f510b2df638258669d6539861a3f06ed5fab773;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/mathql_semantics.ml b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
index e7e5ee5e5..49896a220 100644
--- a/helm/ocaml/mathql_interpreter/mathql_semantics.ml
+++ b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
@@ -20,14 +20,15 @@
  * MA  02111-1307, USA.
  * 
  * For details, see the HELM World-Wide-Web page,
- * http://cs.unibo.it/helm/.
+ * http://www.cs.unibo.it/helm/.
  *)
 
 (* attributes are sorted w.r.t. their name in increasing order *)
 type attributed_uri =
- { uri: string ; attributes : (Mathql.mqsvar * string) list }
+ { uri: string ; attributes : (MathQL.mqsvar * string) list ; extra : string}
 
 type attributed_uri_env =
- (Mathql.mqrvar * attributed_uri) list
+ (MathQL.mqrvar * attributed_uri) list
 
+(* invariant: the result is ordered on the uri component of every item *)
 type result = attributed_uri list