diff options
Diffstat (limited to 'src/myocamlbuild.ml')
| -rw-r--r-- | src/myocamlbuild.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/myocamlbuild.ml b/src/myocamlbuild.ml index ae45857d..1949d66a 100644 --- a/src/myocamlbuild.ml +++ b/src/myocamlbuild.ml @@ -82,7 +82,6 @@ dispatch begin function (* Bisect_ppx_plugin.handle_coverage (); *) (* ocaml_lib "lem_interp/interp"; *) - ocaml_lib ~extern:false ~dir:"pprint/src" ~tag_name:"use_pprint" "pprint/src/PPrintLib"; rule "lem -> ml" ~prod: "%.ml" |