From 7733c326b2882273cdd1211e271ec964789f1e1e Mon Sep 17 00:00:00 2001
From: Alexander Knorre <nuttyrunner@gmail.com>
Date: Thu, 11 Oct 2018 21:04:27 +0300
Subject: [PATCH] No double deletion (#1278)

---
 CppCoreGuidelines.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md
index 7a02c2b..f5dad05 100644
--- a/CppCoreGuidelines.md
+++ b/CppCoreGuidelines.md
@@ -4877,7 +4877,7 @@ The default copy operation will just copy the `p1.p` into `p2.p` leading to a do
 
     void use(Smart_ptr3<int> p1)
     {
-        auto p2 = p1;   // error: double deletion
+        auto p2 = p1;   // OK: no double deletion
     }
 
 ##### Note