diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ocaml_backend.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml index 618de5e6..8899695f 100644 --- a/src/ocaml_backend.ml +++ b/src/ocaml_backend.ml @@ -1001,8 +1001,6 @@ let ocaml_compile spec defs generator_types = let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/elf_loader.ml .") in let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/sail_lib.ml .") in let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/util.ml .") in - let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/value.ml .") in - let _ = Unix.system ("cp -r " ^ sail_dir ^ "/src/toFromInterp_lib.ml .") in let tags_file = if !opt_ocaml_coverage then "_tags_coverage" else "_tags" in let _ = Unix.system ("cp -r " ^ sail_dir ^ "/lib/" ^ tags_file ^ " _tags") in let out_chan = open_out (spec ^ ".ml") in |