diff options
| author | Clark Barrett <barrett@cs.nyu.edu> | 2013-04-01 23:06:13 -0400 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.nyu.edu> | 2013-04-01 23:06:13 -0400 |
| commit | f51b6e9a9dc853156ee392c26f40494d91f345e9 (patch) | |
| tree | e7fd8c96be799d6f0937f1a55e9a4617c44af8a0 /src/main | |
| parent | 1f1f24f3c8618cb601b2ef95991792c7e3232a71 (diff) | |
Fix regression error by turning off model-based solver when models are on
(ironic, yes, but model-based solver doesn't yet produce models)
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions