diff options
Diffstat (limited to 'src/expr/expr_manager.cpp')
| -rw-r--r-- | src/expr/expr_manager.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/expr/expr_manager.cpp b/src/expr/expr_manager.cpp index 80091bef6..a65a2f3cd 100644 --- a/src/expr/expr_manager.cpp +++ b/src/expr/expr_manager.cpp @@ -49,4 +49,4 @@ Expr ExprManager::mkExpr(Kind kind, std::vector<Expr> children) { return ExprBuilder(this, kind).append(children); } -} /* CVC4 namespace */ +}/* CVC4 namespace */ |