diff options
| author | Maxime Dénès | 2017-06-23 17:12:10 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-23 17:12:10 +0200 |
| commit | 5d631016870a351d27ce9c6cbd63f35836b4bcd6 (patch) | |
| tree | bc1987549ceedeb55eaffcd136cb02e8f0bacdbb /API/API.mli | |
| parent | 42dc32440b4b30d05e3f83d24031bc7b207149d6 (diff) | |
| parent | 2e99ed199cde9495bd0f7e3c1209986bcaf77947 (diff) | |
Merge PR#815: STM: par: report no error to UIs in non-solve mode
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions