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"