From 91f15c0bab1f2e11ef2bf77b5091c52daf64669b Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Sat, 25 Nov 2006 11:26:09 +0000 Subject: [PATCH] added assertion (that is a TODO) in case non-considered exceptions are raised when tring to apply coercions --- helm/software/components/cic_unification/cicRefine.ml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/software/components/cic_unification/cicRefine.ml b/helm/software/components/cic_unification/cicRefine.ml index 36347ccd1..d10e177d0 100644 --- a/helm/software/components/cic_unification/cicRefine.ml +++ b/helm/software/components/cic_unification/cicRefine.ml @@ -1386,7 +1386,8 @@ prerr_endline ("poco geniale: nel caso di IRL basterebbe sapere che questo e' il in Some (subst,metasenv,ugraph,hetype',he,args_bo_and_ty) with Uncertain _ | RefineFailure _ -> None - with Uncertain _ | RefineFailure _ -> None) + with Uncertain _ | RefineFailure _ -> None + | exn -> assert false) (* ritornare None, e' un localized *) candidates with | Some(subst,metasenv,ugraph,hetype',he,args_bo_and_ty)-> -- 2.39.2