diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 18:08:15 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-11-27 18:10:27 -0500 |
| commit | dc21bb1de3dfe956312fe5ab734be8d59ee30135 (patch) | |
| tree | 811e04f4424db51d3815f0844eca723669ac0a28 /src/prop/sat_solver_factory.cpp | |
| parent | a97891f9cc892fdc261cd4e3d3229ec68f05b45e (diff) | |
Fix for compile error when using gcc 4.7 with -std=gnu++11. Thanks to Martin Brain for the patch!
Diffstat (limited to 'src/prop/sat_solver_factory.cpp')
0 files changed, 0 insertions, 0 deletions