diff --git a/main.c b/main.c
index 1c74dc7..b17a9ae 100644
--- a/main.c
+++ b/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;