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

diff --git a/helm/ocaml/mathql_interpreter/mathql_semantics.ml b/helm/ocaml/mathql_interpreter/mathql_semantics.ml
index e7e5ee5e5..f618e1e5c 100644
--- 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