- removed applyStylesheets

[helm.git] / helm / ocaml / cic_disambiguation / disambiguate.ml

diff --git a/helm/ocaml/cic_disambiguation/disambiguate.ml b/helm/ocaml/cic_disambiguation/disambiguate.ml
index 7237c8fb72d0d5acc664e438ac2a0795618dd4a3..0ff738fda91229a207408ffcba96452abadc0fc2 100644 (file)
--- a/helm/ocaml/cic_disambiguation/disambiguate.ml
+++ b/helm/ocaml/cic_disambiguation/disambiguate.ml
@@ -35,6 +35,7 @@ exception NoWellTypedInterpretation
 exception Try_again
 
 let debug = false
+let debug = true
 let debug_print = if debug then prerr_endline else ignore
 
 (*
@@ -79,7 +80,9 @@ let refine metasenv context term ugraph =
 let resolve (env: environment) (item: domain_item) ?(num = "") ?(args = []) () =
   try
     snd (Environment.find item env) env num args
-  with Not_found -> assert false
+  with Not_found -> 
+    failwith ("Domain item not found: " ^ 
+      (DisambiguateTypes.string_of_domain_item item))
 
   (* TODO move it to Cic *)
 let find_in_environment name context =