From de434fb0f80641b8cbabe2b7bf04fd90b8da736b Mon Sep 17 00:00:00 2001
From: Jeremie Dimino <jdimino@janestreet.com>
Date: Fri, 3 Mar 2017 07:53:34 +0000
Subject: [PATCH] 114.34+110

---
 ppx_let.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ppx_let.opam b/ppx_let.opam
index f4f48e5a6..fd1cc8433 100644
--- a/ppx_let.opam
+++ b/ppx_let.opam
@@ -6,7 +6,7 @@ bug-reports: "https://github.com/janestreet/ppx_let/issues"
 dev-repo: "https://github.com/janestreet/ppx_let.git"
 license: "Apache-2.0"
 build: [
-  ["jbuilder" "build" "--only-packages" "ppx_let" "--root" "." "-j" jobs]
+  ["jbuilder" "build" "--only-packages" "ppx_let" "--root" "." "-j" jobs "@install"]
 ]
 depends: [
   "jbuilder"