diff options
| author | Christopher Pulte | 2019-03-04 10:34:56 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2019-03-04 10:34:56 +0000 |
| commit | 9bf42e28cc1c64026e895dab036960fec98f3efd (patch) | |
| tree | 9677265806c7662af212d01c8d1d72dc7e726032 /aarch64_small/armV8.h.sail | |
| parent | 0054f46d9f3322a167f9af338f1d34cb221094dd (diff) | |
more
Diffstat (limited to 'aarch64_small/armV8.h.sail')
| -rw-r--r-- | aarch64_small/armV8.h.sail | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64_small/armV8.h.sail b/aarch64_small/armV8.h.sail index 03f390bc..ab69f323 100644 --- a/aarch64_small/armV8.h.sail +++ b/aarch64_small/armV8.h.sail @@ -268,6 +268,6 @@ let IMPLEMENTATION_DEFINED : IMPLEMENTATION_DEFINED_type = struct { let UNKNOWN = 0 val UNKNOWN_BITS: forall 'N, 'N >= 0. implicit('N) -> bits('N) function UNKNOWN_BITS(N) = (replicate_bits(0b0, 'N)) : bits('N) -let UNKNOWN_BIT = bitzero +let UNKNOWN_BIT = b0 /* external */ val speculate_exclusive_success : unit -> bool effect {exmem} |