diff options
Diffstat (limited to 'theories')
-rw-r--r-- | theories/Init/Tactics.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Init/Tactics.v b/theories/Init/Tactics.v index 45f239da4..f61e9422e 100644 --- a/theories/Init/Tactics.v +++ b/theories/Init/Tactics.v @@ -58,7 +58,7 @@ Ltac swap H := (* to contradict an hypothesis without copying its type. *) Ltac absurd_hyp h := - idtac "contradict is OBSOLETE: use contradict instead."; + idtac "absurd_hyp is OBSOLETE: use contradict instead."; let T := type of h in absurd T. |