path: root/test-suite/output/Deprecation.v

#[deprecated(since = "X.Y", note = "Use idtac instead.")]
 Ltac foo := idtac.

Goal True.
foo.
Abort.