From 61b5e9cee2e1025599e63e6f63a21a6537e97800 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 19 Nov 2019 16:22:49 -0600 Subject: [PATCH] chore: simplify dune file --- src/main/dune | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/src/main/dune b/src/main/dune index cecce543..af2ab5a4 100644 --- a/src/main/dune +++ b/src/main/dune @@ -6,7 +6,4 @@ (package sidekick-bin) (libraries containers iter result msat sidekick.core sidekick.base-term sidekick.msat-solver sidekick-bin.smtlib) - (flags :standard -w +a-4-42-44-48-50-58-32-60@8 -safe-string -color always - -open Sidekick_util) - (ocamlopt_flags :standard -O3 -color always -unbox-closures - -unbox-closures-factor 20)) + (flags :standard -safe-string -color always -open Sidekick_util))