diff options
Diffstat (limited to 'aarch64/no_vector.sail')
| -rw-r--r-- | aarch64/no_vector.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/aarch64/no_vector.sail b/aarch64/no_vector.sail index 61fc7b4f..6c96d070 100644 --- a/aarch64/no_vector.sail +++ b/aarch64/no_vector.sail @@ -1,6 +1,7 @@ // Prelude $include "prelude.sail" +$include "no_devices.sail" // Specification $include "no_vector/spec.sail" |