From 7e082e5ac11aec98a0bdb6e4d22ae36252f0740c Mon Sep 17 00:00:00 2001
From: larsr
Date: Wed, 27 Nov 2019 07:44:18 +0100
Subject: weaker then -> weaker than

---
 doc/sphinx/addendum/generalized-rewriting.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/sphinx/addendum/generalized-rewriting.rst b/doc/sphinx/addendum/generalized-rewriting.rst
index ca5b5e54a7..9f5741f72a 100644
--- a/doc/sphinx/addendum/generalized-rewriting.rst
+++ b/doc/sphinx/addendum/generalized-rewriting.rst
@@ -9,7 +9,7 @@ This chapter presents the extension of several equality related
 tactics to work over user-defined structures (called setoids) that are
 equipped with ad-hoc equivalence relations meant to behave as
 equalities. Actually, the tactics have also been generalized to
-relations weaker then equivalences (e.g. rewriting systems). The
+relations weaker than equivalences (e.g. rewriting systems). The
 toolbox also extends the automatic rewriting capabilities of the
 system, allowing the specification of custom strategies for rewriting.
 
-- 
cgit v1.2.3