Fix "Title overline too short." warnings in *.rst files.

2018-07-13 17:23:23 -07:00
parent ff188042bb
commit 753bb049f8
4 changed files with 7 additions and 7 deletions
--- a/cranelift/docs/metaref.rst
+++ b/cranelift/docs/metaref.rst
@@ -1,6 +1,6 @@
-********************************
+*********************************
 Cranelift Meta Language Reference
-********************************
+*********************************

 .. default-domain:: py
 .. highlight:: python