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/regress/regress0/uf20-03.tim.cvc | |
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/regress/regress0/uf20-03.tim.cvc')
0 files changed, 0 insertions, 0 deletions