From a00c96c5b6e60836d96044e86d6707019e938f67 Mon Sep 17 00:00:00 2001
From: Ralf Jung <jung@mpi-sws.org>
Date: Sat, 2 Oct 2021 11:31:24 -0400
Subject: [PATCH] fix (e)trans comment

---
 theories/tactics.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/theories/tactics.v b/theories/tactics.v
index 3b9f8a18..ff8306f3 100644
--- 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.
 
-- 
GitLab