diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-20 15:13:23 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-23 17:26:14 -0400 |
| commit | 55ca82cf4c48911e7cdad7f82b58497ba9822579 (patch) | |
| tree | 1d77a72676b544c0d9f11f8ec3f5d7cdc07c834a /config | |
| parent | 10f34b74c309fa24ec14e92d65f96d1e831264a5 (diff) | |
Fatal error if --unconstrained-simp and --produce-models used together (before it would just override the user and turn off models).
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions