From a14518e103b8597cddb7bc963e26af56dc55bc03 Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 23 Apr 2015 11:07:10 +0200
Subject: [PATCH] Fix unused parameter.

*  src/tests/parse_print_test.cc: here.
---
 src/tests/parse_print_test.cc | 2 ++
 1 file changed, 2 insertions(+)

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;