diff options
author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-14 00:29:50 +0000 |
---|---|---|
committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2012-11-14 00:29:50 +0000 |
commit | 8c6c93e0b65e67046ed654886b1294dcc6667687 (patch) | |
tree | dee2d44cfcad7ce57ca0c530955c372d87cdc53c /src/main/command_executor_portfolio.cpp | |
parent | 0b1bc92ea30fd851e35db6728939cc0b33f03397 (diff) |
fix a race problem. due to interrupt mechanism minisat returned true instead of undef.
Diffstat (limited to 'src/main/command_executor_portfolio.cpp')
0 files changed, 0 insertions, 0 deletions