From e7cdce445a9c28b38b5b2eaf2d53dd4b1007cf60 Mon Sep 17 00:00:00 2001
From: Werner Henze <w.henze@avm.de>
Date: Sun, 28 Jul 2019 10:58:28 +0200
Subject: [PATCH] SF.10: remove double `#include <vector>` from example

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

diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md
index 93fdcfc..bb95a53 100644
--- a/CppCoreGuidelines.md
+++ b/CppCoreGuidelines.md
@@ -18992,7 +18992,6 @@ For example:
 
     // basic_std_lib.h:
 
-    #include <vector>
     #include <string>
     #include <map>
     #include <iostream>