From 284a475197309556279370d7a4fb6fdd179e5247 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 16 Feb 2021 14:00:59 -0500
Subject: [PATCH] lra is not optional

---
 src/arith/lra/dune | 1 -
 1 file changed, 1 deletion(-)

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))