diff options
| author | idontgetoutmuch <dominic@steinitz.org> | 2018-05-18 13:06:53 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-05-18 13:06:53 +0200 |
| commit | 41638b98b893777ab52ab155dcbf5f3df4a548f8 (patch) | |
| tree | 92551342bc7da2426951583249a2e906ab27fb9f /packages/base/src/Internal/Vectorized.hs | |
| parent | 1675813d8f540af9832a78c7a7a40bbdf1cec42c (diff) | |
| parent | b2c2bb17b6fa652ea09b2da4ca0375258e2efa3a (diff) | |
Merge pull request #272 from idontgetoutmuch/bugfix/failure-to-stop-after-error
Return with error code if solver fails
Diffstat (limited to 'packages/base/src/Internal/Vectorized.hs')
0 files changed, 0 insertions, 0 deletions