*)
open Printf
-
open MatitaTypes
+let debug = true
+let debug_print = if debug then prerr_endline else ignore
+
(** raised when one of the script margins (top or bottom) is reached *)
exception Margin
let module UM = UriManager in
DTE.fold (
fun k ((v,_) as value) acc ->
- let v = UM.strip_xpointer (UM.uri_of_string v) in
- if List.exists (fun (s,_) -> s = v) new_status.objects then
+ let b =
+ try
+ let v = UM.strip_xpointer (UM.uri_of_string v) in
+ List.exists (fun (s,_) -> s = v) new_status.objects
+ with UM.IllFormedUri _ -> false
+ in
+ if b then
acc
else
DTE.add k value acc