projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0dcc5f) | patch
Minor changes to avoid some warnings on GCC 4.7.1 (Debian wheezy/sid). ANDY - please...
authorMorgan Deters <mdeters@gmail.com>
Sun, 8 Jul 2012 20:06:22 +0000 (20:06 +0000)
committerMorgan Deters <mdeters@gmail.com>
Sun, 8 Jul 2012 20:06:22 +0000 (20:06 +0000)
commit9f6d60cc724aa2b13867a0543fcce8edb4117bf6
treedf56f53973417f753457c8cb161d693a5e3601c6tree
parentc0dcc5ff59473a45864f818cfdda037c0ee4ea12commit | diff
Minor changes to avoid some warnings on GCC 4.7.1 (Debian wheezy/sid).  ANDY - please look at the diff and make sure I didn't do something stupid
src/theory/uf/theory_uf_strong_solver.cpp diff | blob | history