From fa761b8baf70e57cff5d5e19e5b54af047462bb9 Mon Sep 17 00:00:00 2001
From: locriacyber <74560659+locriacyber@users.noreply.github.com>
Date: Wed, 14 Dec 2022 09:20:50 +0000
Subject: [PATCH] chore: fix typo in CLI usage (--ldlags) (#1947)

---
 src/Leanc.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Leanc.lean b/src/Leanc.lean
index 06d293c4a3..f45445ae6d 100644
--- a/src/Leanc.lean
+++ b/src/Leanc.lean
@@ -12,7 +12,7 @@ as-is to the wrapped compiler.
 
 Interesting options:
 * `--print-cflags`: print C compiler flags necessary for building against the Lean runtime and exit
-* `--print-ldlags`: print C compiler flags necessary for statically linking against the Lean library and exit"
+* `--print-ldflags`: print C compiler flags necessary for statically linking against the Lean library and exit"
     return 1
 
   let root ← match (← IO.getEnv "LEAN_SYSROOT") with