From: ayveejay <41393247+ayveejay@users.noreply.github.com> Date: Wed, 25 Jul 2018 16:59:05 +0000 (+0100) Subject: Performing clang-format on the original change-set of #2194 (#2203) X-Git-Tag: cvc5-1.0.0~4868 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8fa92a5af9b81c2319cb6c3f40514e6410657ccc;p=cvc5.git Performing clang-format on the original change-set of #2194 (#2203) --- diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index a275c7d63..42d8c4730 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -5251,28 +5251,34 @@ Model* SmtEngine::getModel() { return m; } -Expr SmtEngine::getHeapExpr() { +Expr SmtEngine::getHeapExpr() +{ NodeManagerScope nms(d_nodeManager); Expr heap; - Expr nil; // we don't actually use this + Expr nil; // we don't actually use this Model* m = getModel(); - if (m->getHeapModel( heap, nil )) + if (m->getHeapModel(heap, nil)) { return heap; } - InternalError("SmtEngine::getHeapExpr(): failed to obtain heap expression from theory model."); + InternalError( + "SmtEngine::getHeapExpr(): failed to obtain heap expression from theory " + "model."); } -Expr SmtEngine::getNilExpr() { +Expr SmtEngine::getNilExpr() +{ NodeManagerScope nms(d_nodeManager); - Expr heap; // we don't actually use this + Expr heap; // we don't actually use this Expr nil; Model* m = getModel(); - if (m->getHeapModel( heap, nil )) + if (m->getHeapModel(heap, nil)) { return nil; } - InternalError("SmtEngine::getNilExpr(): failed to obtain nil expression from theory model."); + InternalError( + "SmtEngine::getNilExpr(): failed to obtain nil expression from theory " + "model."); } void SmtEngine::checkUnsatCore() {