diff options
Diffstat (limited to 'model/prelude.sail')
| -rw-r--r-- | model/prelude.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/model/prelude.sail b/model/prelude.sail index 028af21..5708bfa 100644 --- a/model/prelude.sail +++ b/model/prelude.sail @@ -17,6 +17,7 @@ $include <vector_dec.sail> $include <regfp.sail> $include <generic_equality.sail> $include "hex_bits.sail" +$include "hex_bits_signed.sail" val not_bit : bit -> bit |