fix (e)trans comment

a00c96c5 · Ralf Jung · 8b49f226 · a00c96c5
Commit a00c96c5 authored 3 years ago by Ralf Jung
--- a/theories/tactics.v
+++ b/theories/tactics.v
@@ -76,7 +76,7 @@ Ltac done_if b :=
  | false => idtac
  end.

-(** Aliases for trans and etrans that are easier to type *)
+(** Aliases for transitivity and etransitivity that are easier to type *)
 Tactic Notation "trans" constr(A) := transitivity A.
 Tactic Notation "etrans" := etransitivity.