projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40d8482) | patch
Small change to documentation in NodeManager::getType
authorChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 27 Oct 2010 22:53:09 +0000 (22:53 +0000)
committerChristopher L. Conway <christopherleeconway@gmail.com>
Wed, 27 Oct 2010 22:53:09 +0000 (22:53 +0000)
commitbe432fe60ee4bd7ae9143a38c7a4f30ad47c5eda
tree013c8ca24bef34467d94ec60abe15d6b380c28e7tree
parent40d8482d24cad4d998240f79e9d6a6745cb845c1commit | diff
Small change to documentation in NodeManager::getType
src/expr/node_manager.cpp diff | blob | history