mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

Fix forward declaration of fma in C++ API. Fixes #2735.

Browse source
This commit is contained in:
Christoph M. Wintersteiger 2019-11-25 11:32:50 +00:00
parent 84025d5c11
commit ba03d99526
No known key found for this signature in database
GPG key ID: BCF6360F86294467
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/c++/z3++.h
View file

@ -1144,7 +1144,7 @@ namespace z3 {
/**
\brief FloatingPoint fused multiply-add.
*/
friend expr fma(expr const& a, expr const& b, expr const& c);
friend expr fma(expr const& a, expr const& b, expr const& c, expr const& rm);
/**
\brief sequence and regular expression operations.