diff options
| author | Eduardo Julian | 2017-02-26 18:42:18 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2017-02-26 18:42:18 -0400 |
| commit | 78e43d0be6fac5b8513e9dc4081a10391632feaa (patch) | |
| tree | e16480f1719ad39018dc1d8bde1a7668a5f2ffa7 /stdlib/source | |
| parent | d8bba8c477525a0e70eab4f289e043cfe352bd62 (diff) | |
- Increased the fixpoints limit to 64.
Diffstat (limited to 'stdlib/source')
0 files changed, 0 insertions, 0 deletions