diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-02-27 21:47:09 -0500 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2015-02-27 21:47:09 -0500 |
| commit | f6833bca76627f970d3c61ee163a32869ffa1b10 (patch) | |
| tree | f8efa1cf89f7a9bf2bfb70e3834255c772827d3d /src/theory/quantifiers/trigger.cpp | |
| parent | 4f5c9dbbd0125294500cf5788cb131b355979fb6 (diff) | |
Revert "dummy commit to force nightly builds"
This reverts commit d2b44175c45a6d2c2fa9c3f8ec1ca1c433cb399b.
Diffstat (limited to 'src/theory/quantifiers/trigger.cpp')
0 files changed, 0 insertions, 0 deletions