From 40b890f2200b85fba0804c755562b065e560e04a Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 21 May 2019 16:21:21 -0700 Subject: [PATCH] fix(library/init/lean/compiler/ir/emitcpp): typo --- library/init/lean/compiler/ir/emitcpp.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/library/init/lean/compiler/ir/emitcpp.lean b/library/init/lean/compiler/ir/emitcpp.lean index dbf018692a..106e75e5a0 100644 --- a/library/init/lean/compiler/ir/emitcpp.lean +++ b/library/init/lean/compiler/ir/emitcpp.lean @@ -425,7 +425,7 @@ match decl with match mkExternCall extData `cpp (toStringArgs ys) with | some c := emit c *> emitLn ";" | none := throw "failed to emit extern application" -| _ := do emitCppName f, when (ys.size > 0) (do emit "(", emitArgs ys, emitLn ")"), emitLn ";" +| _ := do emitCppName f, when (ys.size > 0) (do emit "(", emitArgs ys, emit ")"), emitLn ";" def emitPartialApp (z : VarId) (f : FunId) (ys : Array Arg) : M Unit := do