diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2018-07-17 18:25:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-17 18:25:13 +0200 |
| commit | 490f664c35d717d5bd01f43f3026fb2abf3e99ff (patch) | |
| tree | a4104b14a4eb6f2a0013643cb1f4042e8ea1e3cd /src/theory/arith/arithvar.h | |
| parent | 0834e9e263b1ecd014ef347d0f080ac1505fdcb4 (diff) | |
Purify applications of exp to transcendental arguments (#2097)
Diffstat (limited to 'src/theory/arith/arithvar.h')
0 files changed, 0 insertions, 0 deletions