diff and sortedby implemented

[helm.git] / helm / ocaml / mathql_interpreter / mathql_semantics.ml

diff --git a/helm/ocaml/mathql_interpreter/mathql_semantics.ml b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
index f618e1e5ce736058e281459ef7a6415812b947b2..2af88a63cf42d8ca617cf62e0447de255426ced3 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mathql_semantics.ml
+++ b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
@@ -20,12 +20,12 @@
  * 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