diff options
Diffstat (limited to 'model/prelude.sail')
| -rw-r--r-- | model/prelude.sail | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/model/prelude.sail b/model/prelude.sail index 028af21..b876b4f 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -14,11 +14,9 @@ $include <arith.sail> $include <string.sail> $include "mapping.sail" $include <vector_dec.sail> -$include <regfp.sail> $include <generic_equality.sail> $include "hex_bits.sail" - val not_bit : bit -> bit function not_bit(b) = if b == bitone then bitzero else bitone |