From 31916a2a5714b7efd6da13c3d7863004559079dd Mon Sep 17 00:00:00 2001
From: Josh Berdine <jjb@fb.com>
Date: Tue, 15 Sep 2020 01:48:26 -0700
Subject: [PATCH] [ppx_trace] Build: Add version limit on ppxlib

Summary:
Version 0.16 of ppxlib breaks merlin in combination with ppx_trace,
due to https://github.com/ocaml-ppx/ppxlib/issues/175.

Reviewed By: jvillard

Differential Revision: D23636202

fbshipit-source-id: 37a5f36b7
---
 sledge/sledge.opam | 1 +
 1 file changed, 1 insertion(+)

diff --git a/sledge/sledge.opam b/sledge/sledge.opam
index 5c04e731a..f036086cc 100644
--- a/sledge/sledge.opam
+++ b/sledge/sledge.opam
@@ -25,6 +25,7 @@ depends: [
   "mtime"
   "ppx_compare"
   "ppx_hash"
+  "ppxlib" {< "0.16.0"}
   "shexp"
   "smtlib-utils"
   "yojson"