diff options
| author | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-18 15:28:47 -0800 |
|---|---|---|
| committer | Clark Barrett <barrett@cs.stanford.edu> | 2016-11-18 15:29:31 -0800 |
| commit | 5d7ab3e6f6d14795a0e87cce6efb3cd24f9cedc3 (patch) | |
| tree | e9715191c15d8050d290b57f52d5ed80b1468646 /contrib/cryptominisat-4.2.0.second.patch | |
| parent | 044e20567fa7252be33aa0108b2f795b8181fb04 (diff) | |
Fix for unit test after changing default "all supported" logic name.
Diffstat (limited to 'contrib/cryptominisat-4.2.0.second.patch')
0 files changed, 0 insertions, 0 deletions