diff --git a/testAutomata.c b/testAutomata.c
index 747d13e..07be2cc 100644
--- a/testAutomata.c
+++ b/testAutomata.c
@@ -300,7 +300,7 @@
 
 #else
 #include <stdio.h>
-int main(int argc, char **argv) {
+int main(int argc ATTRIBUTE_UNUSED, char **argv ATTRIBUTE_UNUSED) {
     printf("%s : Automata support not compiled in\n", argv[0]);
     return(0);
 }