new MathQL syntax

[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 e7e5ee5e5551605b2aacab4aff3bd89766c3696f..f618e1e5ce736058e281459ef7a6415812b947b2 100644 (file)
--- a/helm/ocaml/mathql_interpreter/mathql_semantics.ml
+++ b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
@@ -25,9 +25,9 @@
 
 (* 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 }
 
 type attributed_uri_env =
- (Mathql.mqrvar * attributed_uri) list
+ (MathQL.mqrvar * attributed_uri) list
 
 type result = attributed_uri list