diff --git a/src/arith/lra/dune b/src/arith/lra/dune
index 10ef35b5..145750fd 100644
--- a/src/arith/lra/dune
+++ b/src/arith/lra/dune
@@ -2,6 +2,5 @@
 (library
   (name sidekick_arith_lra)
   (public_name sidekick-arith.lra)
-  (optional) ; only if deps present
   (flags :standard -warn-error -a+8 -w -32 -open Sidekick_util)
   (libraries containers sidekick.core zarith))