projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6495988) | patch
Moved the constructor for Options out of the header and into the cpp. For people...
authorTim King <taking@cs.nyu.edu>
Wed, 30 Mar 2011 17:32:50 +0000 (17:32 +0000)
committerTim King <taking@cs.nyu.edu>
Wed, 30 Mar 2011 17:32:50 +0000 (17:32 +0000)
commiteb058369e08b17c51d0267c87890edd8c41255c2
tree5fb3def63313075cdbcd592151bee1fbb24f2db3tree
parent6495988f28ad6c9b318fc506e5d85d8613b03640commit | diff
Moved the constructor for Options out of the header and into the cpp. For people who fiddle with default values set by the Options constructor, this will require significantly less recompiling.
src/util/options.cpp diff | blob | history
src/util/options.h diff | blob | history