diff options
author | Tim King <taking@cs.nyu.edu> | 2012-11-26 17:30:44 +0000 |
---|---|---|
committer | Tim King <taking@cs.nyu.edu> | 2012-11-26 17:30:44 +0000 |
commit | c3ca3d8c58cc9954f8ad190e1e2dedbcbb5372f0 (patch) | |
tree | 4830fb02118a499da8cb62aaec06b16919e0d05a /src/prop/cnf_stream.h | |
parent | 2a731b9164bb178f1232a9af0babc7dd84450cea (diff) |
Removing DioSolver::acceptableOriginalNodes(). This assertion was too strong, and was broken by r4620. This commit resolves bug463. Adding a previously triggering test case.
Diffstat (limited to 'src/prop/cnf_stream.h')
0 files changed, 0 insertions, 0 deletions