diff --git a/ext/riscv-isa-manual b/ext/riscv-isa-manual
index 084b690ef..242d17c4f 160000
--- a/ext/riscv-isa-manual
+++ b/ext/riscv-isa-manual
@@ -1 +1 @@
-Subproject commit 084b690ef08e8abbf3c4f886a430d51a5895f089
+Subproject commit 242d17c4f62c4726e45b915df7d1332106e5a712