From 10ff912f5ccf2c46830f922cd139886c3a405c08 Mon Sep 17 00:00:00 2001
From: hsutter <herb.sutter@gmail.com>
Date: Thu, 20 Jun 2019 11:34:11 -0700
Subject: [PATCH] Closes #1432

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

diff --git a/CppCoreGuidelines.md b/CppCoreGuidelines.md
index e2238c4..bb8a62c 100644
--- a/CppCoreGuidelines.md
+++ b/CppCoreGuidelines.md
@@ -13221,7 +13221,7 @@ For example
 
 ##### Enforcement
 
-Hard: there is a lot of code using `unsigned` and we don't offer a practical positive number type.
+See ES.100 Enforcements.
 
 
 ### <a name="Res-subscripts"></a>ES.107: Don't use `unsigned` for subscripts, prefer `gsl::index`