diff --git a/tests/Gia64-test-readonly.c b/tests/Gia64-test-readonly.c index 574f2cb5..408fba5f 100644 --- a/tests/Gia64-test-readonly.c +++ b/tests/Gia64-test-readonly.c @@ -91,8 +91,6 @@ checker (void) int main (int argc, char **argv) { - int i; - if (argc > 1) verbose = 1;