From 23cc7e82d66e101e9cea77a3240a90b04d0752fd Mon Sep 17 00:00:00 2001
From: Lesenechal Remi <lesenechal.remi@gmail.com>
Date: Fri, 13 Dec 2019 12:50:20 +0100
Subject: [PATCH] Revert "no pinned deps"

This reverts commit 9c3d8d7df22d7e5befc8e80ab890a90cbf0862b6.
---
 ligo.opam | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/ligo.opam b/ligo.opam
index 351c8fed7..896b93eee 100644
--- a/ligo.opam
+++ b/ligo.opam
@@ -23,6 +23,9 @@ depends: [
   # work around upstream in-place update
   "ocaml-migrate-parsetree" { = "1.4.0" }
 ]
+pin-depends: [
+  ["bisect_ppx.git" "git+https://github.com/aantron/bisect_ppx.git"]
+]
 build: [
   [ "dune" "build" "-p" name "-j" jobs ]
 ]