X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaExcPp.ml;h=af1aeb882964661d01e722ef905fc3d681c2e545;hb=78229b5b53f947df657547e682c5365bbba9455b;hp=29f08d514980cdfea95218be2f06a7ebf400a1c3;hpb=585b70958440a8ae155e9ef8281099b66a9ba836;p=helm.git

diff --git a/helm/matita/matitaExcPp.ml b/helm/matita/matitaExcPp.ml
index 29f08d514..af1aeb882 100644
--- a/helm/matita/matitaExcPp.ml
+++ b/helm/matita/matitaExcPp.ml
@@ -66,7 +66,7 @@ let rec to_string =
   | MatitaDisambiguator.DisambiguationError (offset,errorll) ->
      let rec aux n ?(dummy=false) (prev_msg,phases) =
       function
-         [] -> []
+         [] -> [prev_msg,phases]
        | phase::tl ->
           let msg =
            String.concat "\n\n\n"