let relevance = NCicEnvironment.get_relevance r1 in
let relevance = match r1 with
| Ref.Ref (_,Ref.Con (_,_,lno)) ->
- let _,relevance = HExtlib.split_nth lno relevance in
+ let relevance =
+ try snd (HExtlib.split_nth lno relevance)
+ with Failure _ -> []
+ in
HExtlib.mk_list false lno @ relevance
| _ -> relevance
in