diff options
Diffstat (limited to 'aarch64_small/prelude.sail')
| -rw-r--r-- | aarch64_small/prelude.sail | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/aarch64_small/prelude.sail b/aarch64_small/prelude.sail index d94112ad..b938d7bb 100644 --- a/aarch64_small/prelude.sail +++ b/aarch64_small/prelude.sail @@ -20,6 +20,8 @@ $include <flow.sail> $include <arith.sail> $include <option.sail> $include <vector_dec.sail> + +$define AARCH64_SMALL $include <regfp.sail> infix 7 >> |