projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a97891f) | patch
Fix for compile error when using gcc 4.7 with -std=gnu++11. Thanks to Martin Brain...
authorMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 23:08:15 +0000 (18:08 -0500)
committerMorgan Deters <mdeters@cs.nyu.edu>
Wed, 27 Nov 2013 23:10:27 +0000 (18:10 -0500)
commitdc21bb1de3dfe956312fe5ab734be8d59ee30135
tree811e04f4424db51d3815f0844eca723669ac0a28tree
parenta97891f9cc892fdc261cd4e3d3229ec68f05b45ecommit | diff
Fix for compile error when using gcc 4.7 with -std=gnu++11.  Thanks to Martin Brain for the patch!
src/prop/bvminisat/utils/Options.h diff | blob | history
src/prop/minisat/utils/Options.h diff | blob | history