projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eb05836) | patch
adding CVC4:: qualifier to the #define for debugging so that it can be used outside...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 30 Mar 2011 21:47:12 +0000 (21:47 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 30 Mar 2011 21:47:12 +0000 (21:47 +0000)
commitaf976fc656590dbbbfbcdfa45da5dbdab51f4c1c
treeb0963c89f67a670aa2f32a43dad6da8c2477b02btree
parenteb058369e08b17c51d0267c87890edd8c41255c2commit | diff
adding CVC4:: qualifier to the #define for debugging so that it can be used outside of CVC4 namespace (like minisat)
src/util/output.h diff | blob | history