diff options
| author | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-17 02:08:20 -0800 |
|---|---|---|
| committer | Gabriel Dos Reis <gdr@axiomatics.org> | 2017-01-17 02:08:20 -0800 |
| commit | 557a8218131f5a81954fca2ae1dbffa99ef3adbf (patch) | |
| tree | 2738eb16f9e265f3ed429c1a689585aaf16a2110 /src/include/open-axiom/sexpr | |
| parent | 8f7439d7099bde63852b6c13b524e6497571be4e (diff) | |
| download | open-axiom-557a8218131f5a81954fca2ae1dbffa99ef3adbf.tar.gz | |
Misc cleanups.
Diffstat (limited to 'src/include/open-axiom/sexpr')
| -rw-r--r-- | src/include/open-axiom/sexpr | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/include/open-axiom/sexpr b/src/include/open-axiom/sexpr index 8d8eea0b..c7dff7c5 100644 --- a/src/include/open-axiom/sexpr +++ b/src/include/open-axiom/sexpr @@ -1,5 +1,5 @@ // -*- C++ -*- -// Copyright (C) 2010-2014, Gabriel Dos Reis. +// Copyright (C) 2010-2017, Gabriel Dos Reis. // All rights reserved. // Written by Gabriel Dos Reis. // @@ -46,7 +46,7 @@ #include <iosfwd> #include <vector> #include <open-axiom/storage> -#include <open-axiom/token> +#include <open-axiom/Input> namespace OpenAxiom { namespace Sexpr { |