diff --git a/deps/riscv-coq b/deps/riscv-coq
index 8587bd404..a1f945439 160000
--- a/deps/riscv-coq
+++ b/deps/riscv-coq
@@ -1 +1 @@
-Subproject commit 8587bd40439f9f8c995b206b78b4100024bbde4f
+Subproject commit a1f945439ea70b1aa9ad8cd49f95af547f98ac85