# HG changeset patch
# User carl
# Date 1121612314 25200
# Node ID 99049fdc7320bfa11a57cf0e69e20c112360af43
# Parent  fa47e1e401f18d4c9b60ef807b16d347a0515fa9
start coding on new config syntax


diff -r fa47e1e401f1 -r 99049fdc7320 src/tokenizer.h
--- a/src/tokenizer.h	Sun Jul 17 07:46:11 2005 -0700
+++ b/src/tokenizer.h	Sun Jul 17 07:58:34 2005 -0700
@@ -4,6 +4,8 @@
 #include <fstream>
 #include <list>
 #include <set>
+#include <stdio.h>
+#include <ctype.h>
 
 
 using namespace std;