#pragma once

// Set parameters for Flex header, and include it.
#define YY_FLEX_NAMESPACE_BEGIN namespace vcsn { namespace rat {
#define YY_FLEX_NAMESPACE_END   }}

#include <vcsn/misc/flex-lexer.hh>
