diff options
| author | johnvg | 2012-06-19 10:38:59 +0000 |
|---|---|---|
| committer | johnvg | 2012-06-19 10:38:59 +0000 |
| commit | b9683d7a032ad33d45aa9d98144ab0c1874d12d7 (patch) | |
| tree | 238012343e80cea410f8e2563d89b64c4d835e08 /portToNewSyntax | |
| parent | in module classify, unify of Seq n1 [] and Seq n2 [] is Seq (max n1 n2) [] (diff) | |
increase available memory (1000 instead of 200 blocks of 16k) for the strictness analyzer
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@2103 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'portToNewSyntax')
0 files changed, 0 insertions, 0 deletions