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 @@ (define-public cubicle
     (build-system gnu-build-system)
     (native-inputs
      `(("ocaml" ,ocaml)
-       ("which" ,which)))
+       ("which" ,(@@ (gnu packages base) which))))
     (propagated-inputs
      `(("z3" ,z3)))
     (arguments