From d5bd20978bd063ca3d243d3ecd728163411e619e Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 24 Jan 2023 03:38:19 -0800
Subject: [PATCH] fix #6550

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 RELEASE_NOTES.md | 1 +
 1 file changed, 1 insertion(+)

diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
index 76f163b85..2d466c3cd 100644
--- a/RELEASE_NOTES.md
+++ b/RELEASE_NOTES.md
@@ -19,6 +19,7 @@ Version 4.12.2
   implies that the modulus is redundant. This tactic is useful for
   benchmarks created by converting bit-vector semantics to integer 
   reasoning.
+- change API function Z3_mk_real to take two int64 as arguments instead of int.
 
 Version 4.12.1
 ==============