https://bugs.llvm.org/show_bug.cgi?id=40222
Mikhail <mikhail.rama...@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mikhail.rama...@gmail.com
Status|NEW |RESOLVED
Resolution|--- |FIXED
--- Comment #2 from Mikhail <mikhail.rama...@gmail.com> ---
The latest version of the Z3 backend uses Z3_get_error_msg, as
Z3_get_error_msg_ex was deprecated.
--
You are receiving this mail because:
You are on the CC list for the bug._______________________________________________
llvm-bugs mailing list
llvm-bugs@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-bugs
