fix formatting

runtimeverification · Oct 25, 2024 · 2ec58b7 · 2ec58b7
1 parent 5255bbb
commit 2ec58b7
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lib/codegen/Decision.cpp b/lib/codegen/Decision.cpp
@@ -1019,10 +1019,10 @@ std::pair<std::vector<llvm::Value *>, llvm::BasicBlock *> step_function_header(
 #else
   auto *collection_address = collection;
 #endif
-  
+
   auto *is_collection = new llvm::LoadInst(
-      llvm::Type::getInt1Ty(module->getContext()), collection_address, "is_collection",
-      check_collect);
+      llvm::Type::getInt1Ty(module->getContext()), collection_address,
+      "is_collection", check_collect);
   set_debug_loc(is_collection);
   auto *collect = llvm::BasicBlock::Create(
       module->getContext(), "isCollect", block->getParent());