diff options
Diffstat (limited to 'riscv/riscv_extras_embed_sequential.lem')
| -rw-r--r-- | riscv/riscv_extras_embed_sequential.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/riscv_extras_embed_sequential.lem b/riscv/riscv_extras_embed_sequential.lem index cc2a5277..31eea6ab 100644 --- a/riscv/riscv_extras_embed_sequential.lem +++ b/riscv/riscv_extras_embed_sequential.lem @@ -1,6 +1,6 @@ open import Pervasives open import Pervasives_extra -open import Sail_impl_base +open import Sail_instr_kinds open import Sail_values open import Sail_operators_mwords open import State |