commit | c78dcdec607b4f50738a5b84fa170403e23c75ad | [log] [tgz] |
---|---|---|
author | Xiaotao Duan <xiaotao@google.com> | Mon May 04 12:30:17 2009 +0800 |
committer | Xiaotao Duan <xiaotao@google.com> | Mon May 04 12:30:17 2009 +0800 |
tree | c1445d2862c2f5427b5fc2c2a4eac7a7846383e1 | |
parent | 8fb7e16cb2c271cb378c2d395594955369e2fb47 [diff] |
Replace unnecessary realloc() Maximum length for a lemma is predefined and small. Runtime memory reallocation will lead to performance penalty. Predefined memory in stack is used insteadly.