From e0ea340266a589fc2cc0d8d1f7fd6b6c8cd1a4b0 Mon Sep 17 00:00:00 2001
From: gkzscs <gkzscs@hotmail.com>
Date: Wed, 13 Nov 2019 10:44:11 +0800
Subject: [PATCH] Deleted one needless symbol `//` at line 30, where comments
 the `double free pointer`.

---
 src/memerr.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/memerr.cpp b/src/memerr.cpp
index a15731a..56968ad 100644
--- a/src/memerr.cpp
+++ b/src/memerr.cpp
@@ -27,7 +27,7 @@ void err_asan()
   int *k = fetch_mem();
   k[5] = 10;
 
-  // // double free
+  // double free
   int *l = new int[3];
   l[2] = 2;
   delete[] l;