diff options
| author | Tim King <taking@google.com> | 2016-03-30 09:15:43 -0700 |
|---|---|---|
| committer | Tim King <taking@google.com> | 2016-03-30 09:15:43 -0700 |
| commit | f7c6707fa38a850d6798c747b3c45ef10769fa7c (patch) | |
| tree | e308f77869cdcc59f882eb2d44b806d5955735a4 /src/theory/quantifiers/quantifiers_rewriter.cpp | |
| parent | f582b382a25463cead88bc1a46b93dd5c8099fad (diff) | |
Updating the mailmap for git.
Diffstat (limited to 'src/theory/quantifiers/quantifiers_rewriter.cpp')
0 files changed, 0 insertions, 0 deletions