projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a120ebf) | patch
Fixes a bug where registration occurs before preregistration.
authorTim King <taking@cs.nyu.edu>
Thu, 3 Jun 2010 18:26:15 +0000 (18:26 +0000)
committerTim King <taking@cs.nyu.edu>
Thu, 3 Jun 2010 18:26:15 +0000 (18:26 +0000)
commit65eb6421b58ab943414749251a63b85f34e801ec
tree071dd22220fab41c14f3bf1c6c762b233d7c1de4tree
parenta120ebfd29062a8681f8a1e03c598bc9c7c2a790commit | diff
Fixes a bug where registration occurs before preregistration.
src/theory/theory_engine.cpp diff | blob | history