From 66f9b2b5bcfa2b08747566cdeac6069d7a61043c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Adri=C3=A0=20Arrufat?=
 <1671644+arrufat@users.noreply.github.com>
Date: Sun, 3 Apr 2022 01:10:13 +0900
Subject: [PATCH] Fix documentation

---
 dlib/dir_nav/dir_nav_extensions_abstract.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dlib/dir_nav/dir_nav_extensions_abstract.h b/dlib/dir_nav/dir_nav_extensions_abstract.h
index e4056fe39..d693a6bc5 100644
--- a/dlib/dir_nav/dir_nav_extensions_abstract.h
+++ b/dlib/dir_nav/dir_nav_extensions_abstract.h
@@ -30,7 +30,7 @@ namespace dlib
     );
     /*!
         ensures
-            - if (a directory with the given filename exists) then
+            - if (a directory with the given dirname exists) then
                 - returns true
             - else
                 - returns false