let saved_univ = CicUniv.get_working() in
try
t status
- with Fail s -> CicUniv.set_working saved_univ; raise (Fail s)
+ with Fail s ->
+ CicUniv.set_working saved_univ;
+ raise (Fail s)
(** constraint: the returned value will always be constructed by Cic.Name **)
type mk_fresh_name_type =