From 8fa92a5af9b81c2319cb6c3f40514e6410657ccc Mon Sep 17 00:00:00 2001
From: ayveejay <41393247+ayveejay@users.noreply.github.com>
Date: Wed, 25 Jul 2018 17:59:05 +0100
Subject: [PATCH] Performing clang-format on the original change-set of #2194
 (#2203)

---
 src/smt/smt_engine.cpp | 22 ++++++++++++++--------
 1 file changed, 14 insertions(+), 8 deletions(-)

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() {
-- 
2.30.2