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

diff --git a/helm/ocaml/mathql_interpreter/mathql_semantics.ml b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
index f618e1e5c..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
 
+(* invariant: the result is ordered on the uri component of every item *)
 type result = attributed_uri list