projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f795c7c) | patch
removing assertion and warning that shouldn't be there. adding initialization of...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 16 Feb 2010 18:24:00 +0000 (18:24 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Tue, 16 Feb 2010 18:24:00 +0000 (18:24 +0000)
commit094ffd30bf9f512d09e623d40329d4760852310b
treee7151d2ac42dd07bb24d8ae5f83f01e0cd6f783btree
parentf795c7cc47d6932db14e6956f8c8fa687ab91859commit | diff
removing assertion and warning that shouldn't be there. adding initialization of kind to undefined to a default constructor.
src/expr/node_builder.h diff | blob | history