diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-11 20:53:41 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2010-03-11 20:53:41 +0000 |
| commit | 90d829959edf8ad97bd837230933c8443f63b95b (patch) | |
| tree | c16151da149b9db04d84f726efe12076c1d75846 /src/theory | |
| parent | 7cc72123f6b422a53c8840ca034cfdb353be59bf (diff) | |
Changing const TNode& to TNode in the CNF conversion + a new small benchmark that fail on "x != x"
Diffstat (limited to 'src/theory')
0 files changed, 0 insertions, 0 deletions