diff options
| author | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-08-24 17:34:02 -0400 |
|---|---|---|
| committer | Kshitij Bansal <kshitij@cs.nyu.edu> | 2014-08-24 17:35:23 -0400 |
| commit | 8fc068f1f70f5f8e6f5494d7709d681cc9d7d7f9 (patch) | |
| tree | cc645b23c4bf2bad32a0fd22a4a0af9e74f8ee9d /src/theory/quantifiers/trigger.h | |
| parent | 2482d287fe3ebcd78e6ebd9a4910d1646251b3fe (diff) | |
remove some debugging code
(it can be brought back from version control, if needed)
Diffstat (limited to 'src/theory/quantifiers/trigger.h')
0 files changed, 0 insertions, 0 deletions