Clang-format

souffle-lang · Jul 31, 2020 · 0149714 · 0149714
1 parent 38d00f5
commit 0149714
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 15 deletions.
diff --git a/src/interpreter/InterpreterEngine.cpp b/src/interpreter/InterpreterEngine.cpp
@@ -283,21 +283,21 @@ RamDomain InterpreterEngine::execute(const InterpreterNode* node, InterpreterCon
     }
 
 #define CAL_SEARCH_BOUND(superInfo, low, high)                          \
-    /** Unbounded and Constant */                                      \
-    memcpy(low, superInfo.first.data(), sizeof(low));                  \
-    memcpy(high, superInfo.second.data(), sizeof(high));                 \
-    /* TupleElement */                                                 \
-    for (const auto& tupleElement : superInfo.tupleFirst) {            \
-        low[tupleElement[0]] = ctxt[tupleElement[1]][tupleElement[2]]; \
-    }                                                                  \
-    for (const auto& tupleElement : superInfo.tupleSecond) {           \
+    /** Unbounded and Constant */                                       \
+    memcpy(low, superInfo.first.data(), sizeof(low));                   \
+    memcpy(high, superInfo.second.data(), sizeof(high));                \
+    /* TupleElement */                                                  \
+    for (const auto& tupleElement : superInfo.tupleFirst) {             \
+        low[tupleElement[0]] = ctxt[tupleElement[1]][tupleElement[2]];  \
+    }                                                                   \
+    for (const auto& tupleElement : superInfo.tupleSecond) {            \
         high[tupleElement[0]] = ctxt[tupleElement[1]][tupleElement[2]]; \
-    }                                                                  \
-    /* Generic */                                                      \
-    for (const auto& expr : superInfo.exprFirst) {                     \
-        low[expr.first] = execute(expr.second.get(), ctxt);            \
-    }                                                                  \
-    for (const auto& expr : superInfo.exprSecond) {                    \
+    }                                                                   \
+    /* Generic */                                                       \
+    for (const auto& expr : superInfo.exprFirst) {                      \
+        low[expr.first] = execute(expr.second.get(), ctxt);             \
+    }                                                                   \
+    for (const auto& expr : superInfo.exprSecond) {                     \
         high[expr.first] = execute(expr.second.get(), ctxt);            \
     }
 

diff --git a/src/interpreter/InterpreterEngine.h b/src/interpreter/InterpreterEngine.h
@@ -132,5 +132,4 @@ class InterpreterEngine {
     RecordTable recordTable;
 };
 
-
 }  // namespace souffle