diff options
| author | Jon French | 2019-05-13 16:27:31 +0100 |
|---|---|---|
| committer | Jon French | 2019-05-13 16:27:31 +0100 |
| commit | 719cb42ac0263d45b8d99eaf2845e28c79702863 (patch) | |
| tree | 64f19d546bf420dce69cacb425766f1b8907b44e /aarch64_small/armV8_lib.h.sail | |
| parent | cc90f4b8c1254f119aabc4bbf913f257b4205d25 (diff) | |
aarch64_small: move around Unreachable fns to sort dependency issue
Diffstat (limited to 'aarch64_small/armV8_lib.h.sail')
| -rw-r--r-- | aarch64_small/armV8_lib.h.sail | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/aarch64_small/armV8_lib.h.sail b/aarch64_small/armV8_lib.h.sail index 332ad18c..5ace3f01 100644 --- a/aarch64_small/armV8_lib.h.sail +++ b/aarch64_small/armV8_lib.h.sail @@ -179,7 +179,6 @@ val Halted : unit -> boolean effect {rreg} val HaveEL : bits(2) -> boolean effect {escape} val HaveAnyAArch32 : unit -> boolean effect pure val HighestELUsingAArch32 : unit -> boolean effect pure -val Unreachable : unit -> unit effect {escape} val Hint_Branch : BranchType -> unit effect pure /*************************************************************************/ |