From 6b7c0ce334d96438c80e01090d3504cfe91d9378 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 9 Oct 2019 09:44:45 -0700
Subject: [PATCH] add feature description to RELEASE_NOTES

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

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index 848c87e84..6150ae078 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -1,5 +1,12 @@
 RELEASE NOTES
 
+Version 4.8.7
+- New features
+  - setting parameter on solver over the API by
+    solver.smtlib2_log=<filename>
+    enables tracing calls into the solver as SMTLIB2 commands.
+    It traces, assert, push, pop, check_sat, get_consequences.
+
 Version 4.8.6
 =============
 - Notes