Relaxed requires clause slightly

b66cf7b2 · Davis King · 65914e72 · b66cf7b2 · b66cf7b2
Commit b66cf7b2 authored Dec 10, 2016 by Davis King
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

random_cropper.h dlib/image_transforms/random_cropper.h +1 -1

random_cropper_abstract.h dlib/image_transforms/random_cropper_abstract.h +1 -1

No files found.
--- a/dlib/image_transforms/random_cropper.h
+++ b/dlib/image_transforms/random_cropper.h
@@ -94,7 +94,7 @@ namespace dlib
            double value
        ) 
        { 
-            DLIB_CASSERT(0 < value && value < 1);
+            DLIB_CASSERT(0 < value && value <= 1);
            max_object_height = value; 
        }


--- a/dlib/image_transforms/random_cropper_abstract.h
+++ b/dlib/image_transforms/random_cropper_abstract.h
@@ -176,7 +176,7 @@ namespace dlib
        ); 
        /*!
            requires
-                - 0 < value < 1
+                - 0 < value <= 1
            ensures
                - #get_max_object_height() == value
        !*/