diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-08-30 15:49:45 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-08-30 15:49:45 -0700 |
commit | 45af307478241b1fc8278406549d297f7f80fdb3 (patch) | |
tree | d8dcfcfb1e0599b6a8bfc5cb81ac9461891be215 /src/preprocessing/passes/apply_to_const.h | |
parent | 6d04d6daff575a7e48eb88124faefadfadf727f4 (diff) |
Refactor theory preprocess into preprocessing pass. (#2395)
Diffstat (limited to 'src/preprocessing/passes/apply_to_const.h')
0 files changed, 0 insertions, 0 deletions