From f0b8da42ad3cb58d03ce0a66666953ba3545cf96 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopes@microsoft.com>
Date: Sat, 16 Nov 2019 19:27:10 +0000
Subject: [PATCH] typo

---
 RELEASE_NOTES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/RELEASE_NOTES b/RELEASE_NOTES
index c8fb0786c..48999dd36 100644
--- a/RELEASE_NOTES
+++ b/RELEASE_NOTES
@@ -19,7 +19,7 @@ Version 4.8.7
     It traces, assert, push, pop, check_sat, get_consequences.
 - Notes
   - various bug fixes
-  - rewmove model_compress. Use model.compact
+  - remove model_compress. Use model.compact
   - print weights with quantifiers when weight is != 1