new MathQL syntax

[helm.git] / helm / ocaml / mathql_interpreter / use.mli

diff --git a/helm/ocaml/mathql_interpreter/use.mli b/helm/ocaml/mathql_interpreter/use.mli
index a8186b40a5f9538e104f38d7e4c14a758581a95f..0572ad5ac7fcfb24fd14e4ad4957d2733ab26b88 100644 (file)
--- 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