From cda8764880ad43ceb70e2ba1a9717fb489b7ba30 Mon Sep 17 00:00:00 2001
From: Langston Barrett
Date: Fri, 3 Aug 2018 19:42:25 -0700
Subject: Fix docs on arguments to setoid_replace. Fixes #8213

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

(limited to 'doc')

diff --git a/doc/sphinx/addendum/generalized-rewriting.rst b/doc/sphinx/addendum/generalized-rewriting.rst
index 197041dde9..c7df250672 100644
--- a/doc/sphinx/addendum/generalized-rewriting.rst
+++ b/doc/sphinx/addendum/generalized-rewriting.rst
@@ -544,7 +544,7 @@ pass additional arguments such as ``using relation``.
 .. tacv:: setoid_rewrite {? @orientation} @term {? at @occs} {? in @ident}
    :name: setoid_rewrite
 
-.. tacv:: setoid_replace @term with @term {? in @ident} {? using relation @term} {? by @tactic}
+.. tacv:: setoid_replace @term with @term {? using relation @term} {? in @ident} {? by @tactic}
    :name: setoid_replace
 
    The ``using relation`` arguments cannot be passed to the unprefixed form.
-- 
cgit v1.2.3