From dc2619c18ecc2e9404153ccd601bc69a3a7b3d66 Mon Sep 17 00:00:00 2001 From: Thomas Refis Date: Tue, 21 Feb 2017 17:13:30 +0000 Subject: [PATCH] 114.33+05 --- ppx_let.opam | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ppx_let.opam b/ppx_let.opam index 5328321e2..c95168593 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-package" "ppx_let" "-j" jobs] +["jbuilder" "build-package" "ppx_let" "-j" jobs] ] depends: [ "jbuilder"