X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaExcPp.mli;h=9d8c7739fc59f2514bd51ea5e6088d0a98f0e1f8;hb=b1527286e32c8651d65619af61e3f638b3b89f8d;hp=4c4eddc8da681e6f1697eeff5f19b0a66319d5af;hpb=fd23c1f47cc9e98f7c0f5251076e2df1198d49e2;p=helm.git

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