From 7391cc31ae16e373d7e920e0552c5ac402ec8d41 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Fri, 8 Feb 2019 08:39:42 -0800
Subject: [PATCH] [dune] no need to link extlib

Summary:
This was causing issues with a clash between extlib's Base64 and base64's
Base64, but only when Java was disabled. Whatever. Turns out we don't even need
the fucker.

Reviewed By: ngorogiannis

Differential Revision: D14002435

fbshipit-source-id: 011716766
---
 infer/src/dune.common.in | 1 -
 1 file changed, 1 deletion(-)

diff --git a/infer/src/dune.common.in b/infer/src/dune.common.in
index fec6e7a9f..a732ed973 100644
--- a/infer/src/dune.common.in
+++ b/infer/src/dune.common.in
@@ -67,7 +67,6 @@ let common_libraries =
     ; "cmdliner"
     ; "core"
     ; "elina"
-    ; "extlib"
     ; "mtime.clock.os"
     ; "ocamlgraph"
     ; "oUnit"