From c54ee2310ee54df0ce671c2f77558215a0a42163 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Mon, 9 Dec 2019 19:11:29 -0600
Subject: [PATCH] test: better conf for sidekick

---
 tests/logitest.sexp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/logitest.sexp b/tests/logitest.sexp
index 74466163..22a421f9 100644
--- a/tests/logitest.sexp
+++ b/tests/logitest.sexp
@@ -16,7 +16,7 @@
   (name sidekick-local-test)
   (action
     (run_provers
-      (provers sidekick)
+      (provers sidekick-dev)
       (timeout 10)
-      (dirs tests))))
+      (dirs))))