diff options
author | Tim King <taking@cs.nyu.edu> | 2016-09-18 20:31:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-09-18 20:31:41 -0700 |
commit | e61e9853656d0a0d1c16cb095b9173dc2f732b21 (patch) | |
tree | 62e673c90b1fbf0ef945bff62b9c19d212ffbaa2 /src/theory/quantifiers/quant_split.cpp | |
parent | c7f820d981d63b6fe2b0f4469b7b4527318f61d0 (diff) | |
parent | 89c7f56eb901a30845867cfb2dfccf1518935117 (diff) |
Merge pull request #92 from timothy-king/travis-cpp11
Adding a gnu++11 rule to travis.
Diffstat (limited to 'src/theory/quantifiers/quant_split.cpp')
0 files changed, 0 insertions, 0 deletions