20 #ifndef SPOT_NEVERPARSE_PUBLIC_HH
21 # define SPOT_NEVERPARSE_PUBLIC_HH
23 # include "tgba/tgbaexplicit.hh"
24 # include "misc/location.hh"
25 # include "ltlenv/defaultenv.hh"
74 const std::string& filename,
79 #endif // SPOT_NEVERCLAIMPARSE_PUBLIC_HH