diff options
| author | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-07-23 16:43:25 -0700 |
|---|---|---|
| committer | Prashanth Mundkur <prashanth.mundkur@gmail.com> | 2019-07-23 16:43:25 -0700 |
| commit | d3b0d1fd89e5ba2807a87f72e77510c719e60281 (patch) | |
| tree | 8c61573a3c4f0b0a2362a59e04a6d1b3a07ffd64 /model | |
| parent | fb341ef48e8c6518616394da64881ec0d79fd51c (diff) | |
| download | sail-riscv-d3b0d1fd89e5ba2807a87f72e77510c719e60281.zip sail-riscv-d3b0d1fd89e5ba2807a87f72e77510c719e60281.tar.gz sail-riscv-d3b0d1fd89e5ba2807a87f72e77510c719e60281.tar.bz2 | |
Fix compile error in cheri mode.
Diffstat (limited to 'model')
| -rw-r--r-- | model/riscv_types.sail | 2 |
1 files changed, 1 insertions, 1 deletions
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} |