diff options
| author | Florian Diebold <[email protected]> | 2019-05-13 21:20:39 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-05-13 21:20:39 +0100 |
| commit | c29a692137f2db4522f1b97d4e058757b82b973b (patch) | |
| tree | a8dfca16f08dff9b5a360b91e2a233bd6820267d /editors/code/src | |
| parent | 033a32f34944d7e07facd900a78db59b35e6698c (diff) | |
Increase Chalk solver max_size back to 4
Reducing it to 2 was just a failed attempt to see whether that would help fix
some slow cases; in fact, it can create new slow cases by replacing concrete
types by variables.
Diffstat (limited to 'editors/code/src')
0 files changed, 0 insertions, 0 deletions