From c4a4edde3a987013a6416782d029e702adca9495 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 14 Jan 2020 23:00:07 -0600
Subject: [PATCH] chore: fix opam file

---
 msat-bin.opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/msat-bin.opam b/msat-bin.opam
index 6b347ca2..cdb349a3 100644
--- a/msat-bin.opam
+++ b/msat-bin.opam
@@ -7,7 +7,7 @@ author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [
   ["dune" "build" "@install" "-p" name "-j" jobs]
-  ["dune" "runtest" "-p" name "-j" jobs]
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
 ]
 depends: [
   "ocaml" { >= "4.03" }