From d3b0d1fd89e5ba2807a87f72e77510c719e60281 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur <prashanth.mundkur@gmail.com>
Date: Tue, 23 Jul 2019 16:43:25 -0700
Subject: Fix compile error in cheri mode.

---
 model/riscv_types.sail | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/model/riscv_types.sail b/model/riscv_types.sail
index f61674c..0ef9916 100644
--- a/model/riscv_types.sail
+++ b/model/riscv_types.sail
@@ -230,7 +230,7 @@ function exceptionType_to_str(e) =
     E_SAMO_Page_Fault()    => "store/amo-page-fault",
 
     /* extensions */
-    E_Extension()          => "extension-exception"
+    E_Extension(e)         => "extension-exception"
   }
 
 overload to_str = {exceptionType_to_str}
-- 
cgit v1.1