diff options
author | Morgan Deters <mdeters@gmail.com> | 2009-11-18 22:02:11 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2009-11-18 22:02:11 +0000 |
commit | 394791604a62e19763a8a45328bc5177d91fabf9 (patch) | |
tree | 29027c84c0285da33bac6c5d1366635b9e4db1bc /src/expr/expr.cpp | |
parent | 477e97cd81afe4b86eea47e9abe6311fc22299fc (diff) |
work on exprs, driver, util
Diffstat (limited to 'src/expr/expr.cpp')
-rw-r--r-- | src/expr/expr.cpp | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/src/expr/expr.cpp b/src/expr/expr.cpp index 5e422f349..b6484ef25 100644 --- a/src/expr/expr.cpp +++ b/src/expr/expr.cpp @@ -11,8 +11,8 @@ **/ #include "cvc4_expr.h" -#include "core/expr_value.h" -#include "core/expr_builder.h" +#include "expr_value.h" +#include "expr_builder.h" namespace CVC4 { @@ -44,11 +44,7 @@ Expr& Expr::operator=(const Expr& e) { return *this; } -ExprValue* Expr::operator->() { - return d_ev; -} - -const ExprValue* Expr::operator->() const { +ExprValue* Expr::operator->() const { return d_ev; } |