From fc27313b7529785d1f17574dd1d3b5efa708aa78 Mon Sep 17 00:00:00 2001
From: hsutter <herb.sutter@gmail.com>
Date: Thu, 2 May 2019 11:12:08 -0700
Subject: [PATCH] Adopting fixes from PR 1411

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

diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md
index 0091ecd..75cff6b 100644
--- a/CppCoreGuidelines.md
+++ b/CppCoreGuidelines.md
@@ -15341,7 +15341,7 @@ RAII ("Resource Acquisition Is Initialization") is the simplest, most systematic
 
 ##### Example
 
-    void f1(int i)   // Bad: possibly leak
+    void f1(int i)   // Bad: possible leak
     {
         int* p = new int[12];
         // ...