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

---
 opam | 1 +
 1 file changed, 1 insertion(+)

(limited to 'opam')

diff --git a/opam b/opam
index 20392644..07194c6a 100644
--- a/opam
+++ b/opam
@@ -37,5 +37,6 @@ depends: [
   "conf-zlib"
   "base64" {< "3.0.0"}
   "yojson"
+  "pprint"
 ]
 available: [ocaml-version >= "4.06.1"]
-- 
cgit v1.2.3