diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2017-07-13 14:41:35 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-13 14:41:35 -0700 |
| commit | 21f1b73de084ec182718240010c5e4abb05bff5b (patch) | |
| tree | 68c0ad28486d8db013f5cc234c6be4b1b8afca73 /src/theory/assertion.cpp | |
| parent | af73723b1984edd3b6c539857c533078d652fd18 (diff) | |
| parent | 20da56d1153fac605040946c8682171ea6b46196 (diff) | |
Merge pull request #188 from aniemetz/cx11
autoconf: make -std=gnu++11 mandatory
Diffstat (limited to 'src/theory/assertion.cpp')
0 files changed, 0 insertions, 0 deletions