Deprecation.out « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

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

blob: 7e290847c1ffeea8f313f8f711e789a0b0e4970e (plain)

1
2
3

File "stdin", line 5, characters 0-3:
Warning: Tactic foo is deprecated since X.Y. Use idtac instead.
[deprecated-tactic,deprecated]