fixed formatting

runtimeverification · Oct 25, 2024 · d47a99b · d47a99b
1 parent e34dffb
commit d47a99b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/lib/codegen/CreateTerm.cpp b/lib/codegen/CreateTerm.cpp
@@ -786,7 +786,8 @@ llvm::Value *create_term::disable_gc() {
   llvm::IRBuilder b(current_block_);
   auto global_var_address = b.CreateThreadLocalAddress(global_var);
   auto *old_val = new llvm::LoadInst(
-      llvm::Type::getInt1Ty(ctx_), global_var_address, "was_enabled", current_block_);
+      llvm::Type::getInt1Ty(ctx_), global_var_address, "was_enabled",
+      current_block_);
   new llvm::StoreInst(
       llvm::ConstantInt::getFalse(ctx_), global_var_address, current_block_);
   return old_val;