From ba03d995261d23596f9add91ca63c8fd94d19d4f Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 25 Nov 2019 11:32:50 +0000
Subject: [PATCH] Fix forward declaration of fma in C++ API. Fixes #2735.

---
 src/api/c++/z3++.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/c++/z3++.h b/src/api/c++/z3++.h
index 88812df15..8ac860e1b 100644
--- a/src/api/c++/z3++.h
+++ b/src/api/c++/z3++.h
@@ -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.