From 56f1dd7a658dd21bb267dc41fc0301adbd620a6d Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 24 Jun 2022 18:28:53 +0100
Subject: Update build files for documentation

---
 src/hls/Gible.v | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/hls/Gible.v')

diff --git a/src/hls/Gible.v b/src/hls/Gible.v
index 399935b..8971535 100644
--- a/src/hls/Gible.v
+++ b/src/hls/Gible.v
@@ -16,9 +16,9 @@
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <https://www.gnu.org/licenses/>.
 
-=============
-RTLBlockInstr
-=============
+=====
+Gible
+=====
 
 These instructions are used for ``RTLBlock`` and ``RTLPar``, so that they have
 consistent instructions, which greatly simplifies the proofs, as they will by
-- 
cgit