path: root/test-suite/success/Try.v

(* To shorten interactive scripts, it is better that Try catches
   non-existent names in Unfold [cf bug #263] *)

Lemma lem1 : True.
Try (Unfold i_dont_exist).
Trivial.
Qed.