Fix title level.

coq · May 14, 2020 · 60c6340 · 60c6340
1 parent efa36e6
commit 60c6340
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/sphinx/language/extensions/evars.rst b/doc/sphinx/language/extensions/evars.rst
@@ -69,7 +69,7 @@ with a named-goal selector, see :ref:`goal-selectors`).
 .. index:: _
 
 Inferable subterms
-------------------
+~~~~~~~~~~~~~~~~~~
 
 Expressions often contain redundant pieces of information. Subterms that can be
 automatically inferred by Coq can be replaced by the symbol ``_`` and Coq will