diff options
Diffstat (limited to 'src/syntax')
-rw-r--r-- | src/syntax/Parser.cxx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/syntax/Parser.cxx b/src/syntax/Parser.cxx index df856d89..8245b70b 100644 --- a/src/syntax/Parser.cxx +++ b/src/syntax/Parser.cxx @@ -42,6 +42,7 @@ #include <open-axiom/diagnostics> #include <open-axiom/InputFragment> #include <open-axiom/SourceInput> +#include <open-axiom/token> #include <open-axiom/Parser> namespace { |