diff options
| author | Christopher Pulte | 2016-12-12 13:22:22 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-12-12 13:22:22 +0000 |
| commit | 6086e03428b177d189ff7a7e0f793e9783ab47af (patch) | |
| tree | 4c306fe10a9a68faac051efd90ca80b7fb025e54 /src/process_file.ml | |
| parent | 66f2498b28fe4a9be40c2b4093f64827a146f371 (diff) | |
cheri sail export progress
Diffstat (limited to 'src/process_file.ml')
| -rw-r--r-- | src/process_file.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/process_file.ml b/src/process_file.ml index a5423cc4..cda44e77 100644 --- a/src/process_file.ml +++ b/src/process_file.ml @@ -181,7 +181,7 @@ let output1 libpath out_arg filename defs = let ((o',_, _) as ext_o') = open_output_with_check_unformatted (f' ^ "_embed.lem") in let ((o'',_, _) as ext_o'') = - open_output_with_check_unformatted (f' ^ "embed_sequential.lem") in + open_output_with_check_unformatted (f' ^ "_embed_sequential.lem") in (Pretty_print.pp_defs_lem (o,["Pervasives_extra";"Sail_impl_base";"Sail_values"]) (o',["Pervasives_extra";"Sail_impl_base";"Prompt";"Sail_values"; @@ -202,7 +202,7 @@ let output1 libpath out_arg filename defs = let ((o'',_, _) as ext_o'') = open_output_with_check_unformatted (f' ^ "_embed_sequential.lem") in (Pretty_print.pp_defs_lem - (o,["Pervasives_extra";"Sail_impl_base";"Sail_values";lib]) + (o,["Pervasives_extra";"Sail_impl_base";"Sail_values"]) (o',["Pervasives_extra";"Sail_impl_base";"Prompt"; "Sail_values";String.capitalize types_module;lib]) (o'',["Pervasives_extra";"Sail_impl_base";"State"; |