aboutsummaryrefslogtreecommitdiff
path: root/src/syntax/Parser.cxx
diff options
context:
space:
mode:
Diffstat (limited to 'src/syntax/Parser.cxx')
-rw-r--r--src/syntax/Parser.cxx1
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 {