From 7c15b12ed2e004dc0e7f32585afbdb3769541846 Mon Sep 17 00:00:00 2001
From: Jack Feser <feser@csail.mit.edu>
Date: Mon, 13 Apr 2020 15:16:40 -0400
Subject: [PATCH] Add missing ppx_let dependency.

---
 dune-project     | 1 +
 odoc2docset.opam | 1 +
 2 files changed, 2 insertions(+)

diff --git a/dune-project b/dune-project
index e54c77c..eba840f 100644
--- a/dune-project
+++ b/dune-project
@@ -17,6 +17,7 @@
     (logs (>= 0.6))
     (base (>= v0.12))
     (stdio (>= v0.12))
+    (ppx_let (>= v0.12))
     (odig (>= 0.0.4))
     (odoc (>= 1.5))
     (sqlite3 (>= 4.4))
diff --git a/odoc2docset.opam b/odoc2docset.opam
index cb9e127..08f8278 100644
--- a/odoc2docset.opam
+++ b/odoc2docset.opam
@@ -21,6 +21,7 @@ depends: [
   "logs" {>= "0.6"}
   "base" {>= "v0.12"}
   "stdio" {>= "v0.12"}
+  "ppx_let" {>= "v0.12"}
   "odig" {>= "0.0.4"}
   "odoc" {>= "1.5"}
   "sqlite3" {>= "4.4"}