diff options
| author | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-30 21:47:12 +0000 |
|---|---|---|
| committer | Dejan Jovanović <dejan.jovanovic@gmail.com> | 2011-03-30 21:47:12 +0000 |
| commit | af976fc656590dbbbfbcdfa45da5dbdab51f4c1c (patch) | |
| tree | b0963c89f67a670aa2f32a43dad6da8c2477b02b /test | |
| parent | eb058369e08b17c51d0267c87890edd8c41255c2 (diff) | |
adding CVC4:: qualifier to the #define for debugging so that it can be used outside of CVC4 namespace (like minisat)
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions