diff options
Diffstat (limited to 'aarch64')
| -rw-r--r-- | aarch64/prelude.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aarch64/prelude.sail b/aarch64/prelude.sail index 4c6b7974..d9ba1cde 100644 --- a/aarch64/prelude.sail +++ b/aarch64/prelude.sail @@ -366,10 +366,10 @@ val break : unit -> unit function break () = () union exception = { - Error_Undefined, + Error_Undefined : unit, Error_See : string, Error_Implementation_Defined : string, - Error_ReservedEncoding + Error_ReservedEncoding : unit } /* |