diff --git a/ext/riscv-isa-manual b/ext/riscv-isa-manual index 5202d9c5d..c6267155f 160000 --- a/ext/riscv-isa-manual +++ b/ext/riscv-isa-manual @@ -1 +1 @@ -Subproject commit 5202d9c5d75d7da7502f5ae3bbe38290d30fc43f +Subproject commit c6267155fab9a6ade307125f4e5fbef9b637d9ba