commit | 5d14634cb478dc2abe1240a9feda22b46ee44f14 | [log] [tgz] |
---|---|---|
author | TreeHugger Robot <treehugger-gerrit@google.com> | Wed Dec 18 15:58:34 2019 +0000 |
committer | Android (Google) Code Review <android-gerrit@google.com> | Wed Dec 18 15:58:34 2019 +0000 |
tree | 818a6f067d2abc6580619d86e466ff7b2ad831c0 | |
parent | 7174ed634f0845b0378087e376357005974f89b1 [diff] | |
parent | ecd43102cb5e8920d392448fc142b74a68271eea [diff] |
Merge "Remove the unnecessary parsing that could be simply eliminated by casting to StringAtomicFormula."