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 a275c7d63ccb3383ae2c1aaed640fa96ff1fb5fb..42d8c4730f0e01c45f054c19c71998caf9ab7e46 100644 (file)
--- 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() {