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