Made the timing print() display which timing block number

is being printed in addition to the text name.

Made the timing print() display which timing block number
is being printed in addition to the text name.
e485838b · Davis King · 4a08c318 · e485838b
Commit e485838b authored Jan 26, 2015 by Davis King
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

dlib/timing.h dlib/timing.h +2 -2

No files found.
--- a/dlib/timing.h
+++ b/dlib/timing.h
@@ -130,7 +130,7 @@ namespace dlib
                string name;
                // Check if the name buffer is empty.  Use the name it contains if it isn't.
                if (name_buf(i,"")[0] != '\0')
-                    name = name_buf(i,"");
+                    name = cast_to_string(i) + ": " + name_buf(i,"");
                else 
                    name = cast_to_string(i);
                max_name_length = std::max<unsigned long>(max_name_length, name.size());
@@ -144,7 +144,7 @@ namespace dlib
                    string name;
                    // Check if the name buffer is empty.  Use the name it contains if it isn't.
                    if (name_buf(i,"")[0] != '\0')
-                        name = name_buf(i,"");
+                        name = cast_to_string(i) + ": " + name_buf(i,"");
                    else 
                        name = cast_to_string(i);