#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 <lib/vcsn/rat/scan-version.hh>

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