update in ground_2 static_2 basic_2

[helm.git] / matitaB / matita / matitaExcPp.ml

diff --git a/matitaB/matita/matitaExcPp.ml b/matitaB/matita/matitaExcPp.ml
index 5ecea5dc85af80a7058da057170fc92f53f01c47..89c04c278aa820e6de4d2bbd241b2622d464adb4 100644 (file)
--- a/matitaB/matita/matitaExcPp.ml
+++ b/matitaB/matita/matitaExcPp.ml
@@ -175,7 +175,7 @@ let rec to_string =
      None, "NTactic error: " ^ Lazy.force msg 
   | NTacStatus.Error (msg,Some exn) ->
      None, "NTactic error: " ^ Lazy.force msg ^ "\n" ^ snd(to_string exn)
-  | MultiPassDisambiguator.DisambiguationError (offset,errorll) ->
+(*  | MultiPassDisambiguator.DisambiguationError (offset,errorll) ->
      let loc =
       match errorll with
         | ((_,_,loc_msg,_)::_)::_ ->
@@ -186,7 +186,7 @@ let rec to_string =
             let y = y + offset in
             let floc = HExtlib.floc_of_loc (x,y) in
              Some floc
-        | _ -> assert false
+        | _ -> (* assert false *) None
      in
      let annotated_errorll =
       List.rev
@@ -233,6 +233,6 @@ let rec to_string =
      in
       loc,
        "********** DISAMBIGUATION ERRORS: **********\n" ^
-        explain (aux errorll)
+        explain (aux errorll) *)
   | exn -> None, "Uncaught exception: " ^ Printexc.to_string exn