From e0e41f0a98abf1236ea5175f2b73ac0e10309c19 Mon Sep 17 00:00:00 2001
From: Franz Fuchs <franz.fuchs@cl.cam.ac.uk>
Date: Fri, 12 Jul 2024 10:44:50 +0100
Subject: [PATCH] Added missing cheriheader in isa quick ref

---
 app-isaquick-riscv.tex | 1 +
 1 file changed, 1 insertion(+)

diff --git a/app-isaquick-riscv.tex b/app-isaquick-riscv.tex
index 58ac8d67..9ab454ec 100644
--- a/app-isaquick-riscv.tex
+++ b/app-isaquick-riscv.tex
@@ -747,6 +747,7 @@ \chapter{CHERI-RISC-V ISA Quick Reference}
 
 	\vspace{1em}
 
+	\rvcheriheader
 	\rvcherirawbitbox{srcsrcdest}{func}{cd}{cs1}{rs2/cs2}
 
 	\vspace{1em}