From 02d547e3bc531c9a0bec8d47436c204e3bc15ddc Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Wed, 15 May 2019 09:20:37 +0000
Subject: [Nix-CI] Bignums no longer depends on camlp5

---
 dev/ci/nix/bignums.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'dev')

diff --git a/dev/ci/nix/bignums.nix b/dev/ci/nix/bignums.nix
index 1d931c858e..d813ddd8d7 100644
--- a/dev/ci/nix/bignums.nix
+++ b/dev/ci/nix/bignums.nix
@@ -1,5 +1,5 @@
 { ocamlPackages }:
 
 {
-  buildInputs = with ocamlPackages; [ ocaml findlib camlp5 ];
+  buildInputs = [ ocamlPackages.ocaml ];
 }
-- 
cgit v1.2.3