[PATCH] D79883: Fix Z3 function calls regarding arithmetic operations

[Gabor Marton via Phabricator via llvm-commits]

martong accepted this revision.
martong added a comment.
This revision is now accepted and ready to land.

LGTM!


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D79883