From a75f766b453292536cd08323fc0620caeb395108 Mon Sep 17 00:00:00 2001
From: Tej Chajed <tchajed@mit.edu>
Date: Tue, 31 Mar 2020 18:48:02 -0500
Subject: [PATCH] Fix typo in CHANGELOG

Rename performed in !131 was on drop_insert, not drop_length
---
 CHANGELOG.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index c9803473..7b1ef53a 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -3,7 +3,7 @@ API-breaking change is listed.
 
 ## std++ master
 
-- Rename `drop_length` into `drop_length_gt` and add `drop_length_le`.
+- Rename `drop_insert` into `drop_insert_gt` and add `drop_insert_le`.
 
 ## std++ 1.3 (released 2020-03-18)
 
-- 
GitLab