From 20899d04a1cfb0e83ffa7afeb48cd30809f9c998 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Thu, 19 Jul 2018 06:52:34 -0700
Subject: [PATCH] Fix "Title overline too short." warnings in more *.rst files.

---
 cranelift/docs/regalloc.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cranelift/docs/regalloc.rst b/cranelift/docs/regalloc.rst
index 66ead056f8..da227586a1 100644
--- a/cranelift/docs/regalloc.rst
+++ b/cranelift/docs/regalloc.rst
@@ -1,6 +1,6 @@
-*******************************
+********************************
 Register Allocation in Cranelift
-*******************************
+********************************
 
 .. default-domain:: clif
 .. highlight:: clif