From d9ab85ffae85e756b2ed94c3b3fe655d3b541aaf Mon Sep 17 00:00:00 2001
From: Jim Fehrle
Date: Tue, 3 Mar 2020 10:23:15 -0800
Subject: Remove some productionlists

---
 doc/sphinx/proof-engine/tactics.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/sphinx/proof-engine')

diff --git a/doc/sphinx/proof-engine/tactics.rst b/doc/sphinx/proof-engine/tactics.rst
index 2bfd810ea1..4f2f74aae4 100644
--- a/doc/sphinx/proof-engine/tactics.rst
+++ b/doc/sphinx/proof-engine/tactics.rst
@@ -72,7 +72,7 @@ specified, the default selector is used.
 .. _bindingslist:
 
 Bindings list
-~~~~~~~~~~~~~~~~~~~
+~~~~~~~~~~~~~
 
 Tactics that take a term as an argument may also support a bindings list
 to instantiate some parameters of the term by name or position.
-- 
cgit v1.2.3