From 428e424b75999eda16f5c5ccb4ee48763d99c9d1 Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Tue, 3 May 2022 23:20:21 +0100
Subject: Add section on discussion of hardware pipelining

---
 chapters/introduction.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'chapters/introduction.tex')

diff --git a/chapters/introduction.tex b/chapters/introduction.tex
index 55ed41b..c7dd2cc 100644
--- a/chapters/introduction.tex
+++ b/chapters/introduction.tex
@@ -109,7 +109,7 @@ a fork of CompCert which implements \SSA\ as an intermediate language.
 
 \desc{\in{Chapter}[sec:schedule]} describes the current implementation timeline.
 
-\startmode[section]
+\startmode[chapter]
   \section{Bibliography}
   \placelistofpublications
 \stopmode
-- 
cgit