Updated manual.

diff --git a/flex.texi b/flex.texi
index b501e514d064113fc3df319e808dcdb73da04fc5..8ae0188fec5c4b0a396a0bf953ecbfced9ab1ee1 100644 (file)
--- a/flex.texi
+++ b/flex.texi
@@ -3874,9 +3874,9 @@ The following Functions are available in a reentrant scanner:
     FILE *yyget_out ( yyscan_t scanner );
     int yyget_lineno ( yyscan_t scanner );
     YY_EXTRA_TYPE yyget_extra ( yyscan_t scanner );
-    bool yyget_debug ( yyscan_t scanner );
+    int  yyget_debug ( yyscan_t scanner );
 
-    void yyset_debug ( bool flag, yyscan_t scanner );
+    void yyset_debug ( int flag, yyscan_t scanner );
     void yyset_in  ( FILE * in_str , yyscan_t scanner );
     void yyset_out  ( FILE * out_str , yyscan_t scanner );
     void yyset_lineno ( int line_number , yyscan_t scanner );