Removed deprecated 'pretty' flag

Change-Id: I63272027a955d85574fe24be18ba64ec56200959
diff --git a/Changes b/Changes
index beb5043..ed2e8ff 100644
--- a/Changes
+++ b/Changes
@@ -11,6 +11,7 @@
         - Optimization by reducing calls to _offset().
         - Introduced add_span() method to MultiTermToken.
         - Removed deprecated 'primary' flag.
+        - Removed deprecated 'pretty' flag.
 
 0.40 2020-03-03
         - Fixed XIP parser.