Formatting

runtimeverification · Oct 21, 2024 · de2996f · de2996f
1 parent c609e81
commit de2996f
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/runtime/collections/kelemle.cpp b/runtime/collections/kelemle.cpp
@@ -143,15 +143,16 @@ bool hook_KEQUAL_eq(block *arg1, block *arg2) {
           }
           break;
         }
-         case MINT_LAYOUT + 128: {
+        case MINT_LAYOUT + 128: {
           auto *child1ptr = (int64_t *)(child1intptr);
           auto *child2ptr = (int64_t *)(child2intptr);
-          bool cmp = child1ptr[0] == child2ptr[0] && child1ptr[1] == child2ptr[1];
+          bool cmp
+              = child1ptr[0] == child2ptr[0] && child1ptr[1] == child2ptr[1];
           if (!cmp) {
             return false;
           }
           break;
-         }
+        }
         case MINT_LAYOUT + 160: {
           auto *child1ptr = (int64_t *)(child1intptr);
           auto *child2ptr = (int64_t *)(child2intptr);