assert false (* should not happen *)
| Cic.LetIn _ | Cic.Lambda _ | Cic.Prod _ | Cic.Cast _
| Cic.MutCase _ | Cic.Fix _ | Cic.CoFix _ ->
- prerr_endline "FIXME: the trie receives an invalid term";
+ HLog.debug "FIXME: the trie receives an invalid term";
Dead
(* assert false universe.ml removes these *)
;;