[pgpool-committers: 405] pgpool: modified pool_config.l as same as pool_config.c

[at.mitani]

modified pool_config.l as same as pool_config.c

Branch
------
feature/watchdog

Details
-------
http://git.postgresql.org/gitweb?p=pgpool2.git;a=commitdiff;h=47d93ee1bbc9423564e1d165585e40f32f7cb064

Modified Files
--------------
pool_config.l |    6 +++---
1 files changed, 3 insertions(+), 3 deletions(-)