--- src-common/yglue.h~	2010-09-12 23:15:28.000000000 -0500
+++ src-common/yglue.h	2011-02-02 11:44:01.000000000 -0600
@@ -51,7 +51,7 @@
 int yyget_lineno(void);
 FILE *yyget_in  (void);
 FILE *yyget_out  (void);
-size_t yyget_leng  (void);
+int yyget_leng  (void);
 char *yyget_text  (void);
 void yyset_lineno (int  line_number );
 void yyset_in (FILE *  in_str );