[PATCH] D54978: Move the SMT API to LLVM

[Nico Weber via Phabricator via cfe-commits]

thakis added a comment.

Thanks for the analysis. I think it's fine if you revert, given that.


Repository:
  rC Clang

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D54978/new/

https://reviews.llvm.org/D54978