X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2Fuse.mli;h=0572ad5ac7fcfb24fd14e4ad4957d2733ab26b88;hb=1cfcea66d7394a785ec439cd6b03497b276918c4;hp=a8186b40a5f9538e104f38d7e4c14a758581a95f;hpb=a86e50c2f080bd288d1a37b27fd4d0ea3044c5df;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/use.mli b/helm/ocaml/mathql_interpreter/use.mli
index a8186b40a..0572ad5ac 100644
--- a/helm/ocaml/mathql_interpreter/use.mli
+++ b/helm/ocaml/mathql_interpreter/use.mli
@@ -24,4 +24,4 @@
  *)
 
 val use_ex :
- Mathql_semantics.result -> Mathql.mqsvar -> string -> Mathql_semantics.result
+ Mathql_semantics.result -> MathQL.mqsvar -> string -> Mathql_semantics.result