diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/ocaml_backend.ml | 2 | ||||
| -rw-r--r-- | src/parser.mly | 6 |
2 files changed, 1 insertions, 7 deletions
diff --git a/src/ocaml_backend.ml b/src/ocaml_backend.ml index cfd79290..d075e693 100644 --- a/src/ocaml_backend.ml +++ b/src/ocaml_backend.ml @@ -978,7 +978,7 @@ let ocaml_compile spec defs generator_types = 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 - if !opt_ocaml_coverage then + if !opt_ocaml_coverage then ignore(Unix.system ("cp -r " ^ sail_dir ^ "/lib/myocamlbuild_coverage.ml myocamlbuild.ml")); ocaml_pp_defs out_chan defs generator_types; close_out out_chan; diff --git a/src/parser.mly b/src/parser.mly index 6344db97..66902953 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -319,12 +319,6 @@ kid: | TyVar { mk_kid $1 $startpos $endpos } -kid_list: - | kid - { [$1] } - | kid kid_list - { $1 :: $2 } - num_list: | Num { [$1] } |