From a18c3018e19ab174d0a5d7ca005dc0f4e532db1f Mon Sep 17 00:00:00 2001
From: Luke Wren <wren6991@gmail.com>
Date: Fri, 7 Oct 2022 01:35:10 +0100
Subject: [PATCH] Bump riscv-formal to head of hazard3 branch, not sure what
 happened there

---
 test/formal/riscv-formal/riscv-formal | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test/formal/riscv-formal/riscv-formal b/test/formal/riscv-formal/riscv-formal
index 8bede6c..c12efe2 160000
--- a/test/formal/riscv-formal/riscv-formal
+++ b/test/formal/riscv-formal/riscv-formal
@@ -1 +1 @@
-Subproject commit 8bede6ceb93ac66641bbd74a99d65a80140bc31c
+Subproject commit c12efe293f5f7788c36155675e1d609d7dc15290