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