From 6631de4f641607755ae8c0434921e4f68cf9f2f6 Mon Sep 17 00:00:00 2001
From: Thomas Bauereiss
Date: Tue, 28 Jan 2020 16:45:51 +0000
Subject: Use external PPrint

---
 src/myocamlbuild.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/myocamlbuild.ml')

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"
-- 
cgit v1.2.3