diff -r 39c23046dad6 -r f0a41f731cea main.cc
--- a/main.cc	Thu Jun 04 14:17:08 2009 +0200
+++ b/main.cc	Fri Jun 05 14:06:53 2009 +0200
@@ -61,6 +61,7 @@
 
 
 //#include <stdio.h>   // printf()
+#include <getopt.h>
 #include <string.h>
 #include <stdlib.h>  // EXIT_FAILURE
 #include "absyntax/absyntax.hh"  // symbol_c type