diff options
Diffstat (limited to 'src/utils/sexpr.H')
| -rw-r--r-- | src/utils/sexpr.H | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/utils/sexpr.H b/src/utils/sexpr.H index 5139b453..3059dce5 100644 --- a/src/utils/sexpr.H +++ b/src/utils/sexpr.H @@ -44,7 +44,7 @@ #include <iosfwd> #include <vector> #include <set> -#include "string-pool.H" +#include <open-axiom/string-pool> // Helpers for defining token type values for lexeme with more // than characters. |