summaryrefslogtreecommitdiff
path: root/src/myocamlbuild.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/myocamlbuild.ml')
-rw-r--r--src/myocamlbuild.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml
index f408703f..b1f95339 100644
--- a/src/myocamlbuild.ml
+++ b/src/myocamlbuild.ml
@@ -79,6 +79,8 @@ let lem_opts = [A "-lib"; P "../gen_lib";
dispatch begin function
| After_rules ->
+ Bisect_ppx_plugin.handle_coverage ();
+
(* ocaml_lib "lem_interp/interp"; *)
ocaml_lib ~extern:false ~dir:"pprint/src" ~tag_name:"use_pprint" "pprint/src/PPrintLib";