From 736a21cd5a1d6533fbf354917192638f90fc528f Mon Sep 17 00:00:00 2001 From: Tobias Grosser Date: Sun, 13 Aug 2023 12:31:53 +0100 Subject: [PATCH] chore: remove trailing whitespaces in EmitLLVM For some reason, these two were missed in the last commit. --- src/Lean/Compiler/IR/EmitLLVM.lean | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Lean/Compiler/IR/EmitLLVM.lean b/src/Lean/Compiler/IR/EmitLLVM.lean index 2d600854e0..39e5100976 100644 --- a/src/Lean/Compiler/IR/EmitLLVM.lean +++ b/src/Lean/Compiler/IR/EmitLLVM.lean @@ -111,11 +111,11 @@ instance : ToString RefcountKind where def callLeanRefcountFn (builder : LLVM.Builder llvmctx) (kind : RefcountKind) (checkRef? : Bool) (arg : LLVM.Value llvmctx) (delta : Option (LLVM.Value llvmctx) := Option.none) : M llvmctx Unit := do - let fnName := s!"lean_{kind}{if checkRef? then "" else "_ref"}{if delta.isNone then "" else "_n"}" + let fnName := s!"lean_{kind}{if checkRef? then "" else "_ref"}{if delta.isNone then "" else "_n"}" let retty ← LLVM.voidType llvmctx let argtys := if delta.isNone then #[← LLVM.voidPtrType llvmctx] else #[← LLVM.voidPtrType llvmctx, ← LLVM.size_tType llvmctx] let fn ← getOrCreateFunctionPrototype (← getLLVMModule) retty fnName argtys - let fnty ← LLVM.functionType retty argtys + let fnty ← LLVM.functionType retty argtys match delta with | .none => do -- since refcount δ is 1, we only supply the pointer.