Added missing requires clause.

--HG-- extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%402639

Added missing requires clause.
--HG-- extra : convert_revision : svn%3Afdd8eb12-d10e-0410-9acb-85c331704f74/trunk%402639
f6df5ad1 · Davis King · ed0261fe · f6df5ad1
Commit f6df5ad1 authored Nov 07, 2008 by Davis King
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

dlib/threads/thread_pool_extension_abstract.h dlib/threads/thread_pool_extension_abstract.h +2 -0

No files found.
--- a/dlib/threads/thread_pool_extension_abstract.h
+++ b/dlib/threads/thread_pool_extension_abstract.h
@@ -24,6 +24,8 @@ namespace dlib
            unsigned long num_threads
        );
        /*!
+            requires
+                - num_threads > 0
            ensures
                - num_threads_in_pool() == num_threads
            throws