diff options
Diffstat (limited to 'src/expr/expr.cpp')
| -rw-r--r-- | src/expr/expr.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp index 7dc8c8f96..35bdc947a 100644 --- a/src/expr/expr.cpp +++ b/src/expr/expr.cpp @@ -19,6 +19,8 @@ #include "util/output.h" +using namespace CVC4::kind; + namespace CVC4 { std::ostream& operator<<(std::ostream& out, const Expr& e) { |