X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaExcPp.mli;h=4abe0b4f9d5bc6956171e5459a289b0203c14502;hb=6db38e3d8e4083765f2fce40c7845c9827b9afd0;hp=9d8c7739fc59f2514bd51ea5e6088d0a98f0e1f8;hpb=55b82bd235d82ff7f0a40d980effe1efde1f5073;p=helm.git

diff --git a/helm/software/matita/matitaExcPp.mli b/helm/software/matita/matitaExcPp.mli
index 9d8c7739f..4abe0b4f9 100644
--- a/helm/software/matita/matitaExcPp.mli
+++ b/helm/software/matita/matitaExcPp.mli
@@ -23,5 +23,5 @@
  * http://helm.cs.unibo.it/
  *)
 
-val to_string: exn -> Token.flocation option * string
+val to_string: exn -> Stdpp.location option * string