Commit a14518e1 authored by Etienne Renault's avatar Etienne Renault
Browse files

Fix unused parameter.

*  src/tests/ here.
parent 66bd8f34
......@@ -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;
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment