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

diff --git a/helm/ocaml/mathql_interpreter/sortedby.mli b/helm/ocaml/mathql_interpreter/sortedby.mli
index ebed97055..6c01aa0e6 100644
--- a/helm/ocaml/mathql_interpreter/sortedby.mli
+++ b/helm/ocaml/mathql_interpreter/sortedby.mli
@@ -24,4 +24,4 @@
  *)
 
 val sortedby_ex :
-  string list list -> Mathql.mqorder -> Mathql.mqfunc -> string list list
+  string list list -> MathQL.mqorder -> MathQL.mqfunc -> string list list