diff --git a/solvers/kissat/src/lib.rs b/solvers/kissat/src/lib.rs
index e470d2def..e7de73bf4 100644
--- a/solvers/kissat/src/lib.rs
+++ b/solvers/kissat/src/lib.rs
@@ -1,4 +1,5 @@
 #[cfg(test)]
+#[test]
 fn test1() {
     use kissat_rs::Assignment;
     use kissat_rs::Solver;