diff --git a/src/tests/parse_print_test.cc b/src/tests/parse_print_test.cc
index 68165f3c8..7452c259b 100644
--- a/src/tests/parse_print_test.cc
+++ b/src/tests/parse_print_test.cc
@@ -27,6 +27,8 @@ using namespace spot;
 
 int main(int argc, char** argv)
 {
+  (void) argc;
+  assert(argc == 2);
   int return_value = 0;
   kripke_parse_error_list pel;