From 8d7bd340592fb0794c3a923f94bccaa147aac11b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 9 Dec 2013 22:45:13 -0800 Subject: [PATCH] fix(doc/make/split-stack): typo Signed-off-by: Leonardo de Moura --- doc/make/split-stack.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/make/split-stack.md b/doc/make/split-stack.md index 0d222a19a..9ea85426e 100644 --- a/doc/make/split-stack.md +++ b/doc/make/split-stack.md @@ -4,7 +4,7 @@ Compiling Lean with Split Stacks [Split stacks](http://gcc.gnu.org/wiki/SplitStacks) is a relatively new feature in gcc. It allows the stack to grown automatically as needed. There is a small performance penalty since the program stack -is stored in the heap. However, we multiple threads, each starting +is stored in the heap. However, we can have multiple threads, each starting with a small stack, and have the stack grow and shrink as required by the program.