diff options
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index 1da893c3..8e309901 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -239,7 +239,7 @@ let output_lem filename libs defs = let libs = List.map (fun lib -> lib ^ seq_suffix) libs in let base_imports = [ "Pervasives_extra"; - "Sail_impl_base"; + "Sail_instr_kinds"; "Sail_values"; operators_module ] @ monad_modules |