From 64dd8ac6a27b9f9551fc198783e19a632635db8f Mon Sep 17 00:00:00 2001 From: Brooks Davis Date: Wed, 20 Sep 2023 17:29:23 +0100 Subject: [PATCH] Add a middling version of the x86 ISA archtecture This fixes the even page title running into the page number. --- chap-cheri-x86-64.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/chap-cheri-x86-64.tex b/chap-cheri-x86-64.tex index 0fb40c6f..ce287234 100644 --- a/chap-cheri-x86-64.tex +++ b/chap-cheri-x86-64.tex @@ -1,4 +1,4 @@ -\chapter{The CHERI-x86-64 Instruction-Set Architecture (Sketch)} +\chapter[The CHERI-x86-64 ISA (Sketch)]{The CHERI-x86-64 Instruction-Set Architecture (Sketch)} \label{chap:cheri-x86-64} \rwnote{New introduction is required, and some change of pitch.}