diff options
author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-06-19 14:40:27 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-06-19 14:40:27 -0500 |
commit | f5e2348c7350ce21716f595eb8703635782c6285 (patch) | |
tree | fd4555f6ce47cf89452cb257712b4663bb2b1432 /src/parser/input.cpp | |
parent | 733083c3bb6700b70ff31c3a679d519f493b680f (diff) |
Clean the header file of TheoryStrings (#4272)
Now conforms to coding guidelines. For the sake of ensuring that the aspects related to the strategy were maintained in one place, I split this to its own file, strategy.h/cpp.
Diffstat (limited to 'src/parser/input.cpp')
0 files changed, 0 insertions, 0 deletions