diff options
| author | Liana Hadarean <lianahady@gmail.com> | 2015-10-07 19:56:02 +0100 |
|---|---|---|
| committer | Liana Hadarean <lianahady@gmail.com> | 2015-10-07 19:56:02 +0100 |
| commit | 477e72b588e8cd6630f0379ac2014a1f738f94fc (patch) | |
| tree | 780622fc7fd49e3f329925c11c7b3689d3b06e5c /src/theory/strings/theory_strings.h | |
| parent | 2f3ab34dcf0c5bfefff2f40ec164b82dfdc66835 (diff) | |
Default builds are now proof enabled.
Diffstat (limited to 'src/theory/strings/theory_strings.h')
0 files changed, 0 insertions, 0 deletions