diff options
| author | Langston Barrett | 2018-08-03 19:42:25 -0700 |
|---|---|---|
| committer | Langston Barrett | 2018-08-03 19:42:25 -0700 |
| commit | cda8764880ad43ceb70e2ba1a9717fb489b7ba30 (patch) | |
| tree | 3ce8af3bd853804fc6d6301f9db1c153ea38ffeb /doc | |
| parent | a7f06968eb57815fbf4f4479f0eea4cc01f7d40a (diff) | |
Fix docs on arguments to setoid_replace. Fixes #8213
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/addendum/generalized-rewriting.rst | 2 |
1 files changed, 1 insertions, 1 deletions
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. |