Keeping track of locations of disambiguated ids and symbols.

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

diff --git a/matitaB/matita/matitaExcPp.ml b/matitaB/matita/matitaExcPp.ml
index 5ecea5dc85af80a7058da057170fc92f53f01c47..e3e18a415a6924835553c123f1df9c61d07cf2dc 100644 (file)
--- a/matitaB/matita/matitaExcPp.ml
+++ b/matitaB/matita/matitaExcPp.ml
@@ -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