From 83fef82b7c0f9b8c57e072281ef9d4518d854350 Mon Sep 17 00:00:00 2001
From: Marius Bakke <mbakke@fastmail.com>
Date: Mon, 7 Aug 2017 01:52:31 +0200
Subject: gnu: cubicle: Fix evaluation.

* gnu/packages/maths.scm (cubicle)[native-inputs]: Retrieve WHICH from
(gnu packages base).
---
 gnu/packages/maths.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gnu')

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index e19c8edc82..e204588dd5 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -3212,7 +3212,7 @@ theories} (SMT) solver.  It provides a C/C++ API.")
     (build-system gnu-build-system)
     (native-inputs
      `(("ocaml" ,ocaml)
-       ("which" ,which)))
+       ("which" ,(@@ (gnu packages base) which))))
     (propagated-inputs
      `(("z3" ,z3)))
     (arguments
-- 
cgit v1.2.3