#pragma once

// Set parameters for Flex header, and include it.
#define YY_FLEX_NAMESPACE_BEGIN                 \
  namespace vcsn {                              \
    namespace detail {                          \
      namespace dot {

#define YY_FLEX_NAMESPACE_END                   \
      }                                         \
    }                                           \
  }

#include <lib/vcsn/rat/location.hh>

YY_FLEX_NAMESPACE_BEGIN
  using location = vcsn::rat::location;
YY_FLEX_NAMESPACE_END

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