From d39a74bc6e53212516e2374eff0efd18b58b4404 Mon Sep 17 00:00:00 2001
From: John Wellbelove <smartgit@wellbelove.co.uk>
Date: Sun, 13 Nov 2016 16:27:56 +0000
Subject: [PATCH] Changed 'Does nothing' comment to 'Undefined behavior'

---
 src/private/pvoidvector.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/private/pvoidvector.h b/src/private/pvoidvector.h
index 67fdd4ef..165d0c32 100644
--- a/src/private/pvoidvector.h
+++ b/src/private/pvoidvector.h
@@ -392,7 +392,7 @@ namespace etl
 
     //*************************************************************************
     /// Removes an element from the end of the vector.
-    /// Does nothing if the vector is empty.
+    /// Undefined behaviour if the vector is empty.
     //*************************************************************************
     void pop_back()
     {