Print statistics on SIGINT

main.c

@@ -268,7 +268,15 @@ void printStatistics()
   printf("...\n");
 }
 
+void handleSIGINT()
+{
+  printStatistics();
+  exit(0);
+}
+
 int main(int argc,char **argv) {
+  signal(SIGINT, handleSIGINT);
+
   int i,j;
 
   syntacticclass sclass;