# HG changeset patch
# User greg
# Date 1244203613 -7200
# Node ID f0a41f731cea6cb85eeec873fa7225514fe71359
# Parent  39c23046dad61e5d5cd1d8b1821ab219ba8725ea
bug when compiling for windows (missing getopt.h) fixed

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