diff options
Diffstat (limited to 'src/debug.cpp')
-rw-r--r-- | src/debug.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/debug.cpp b/src/debug.cpp index 321452a..60d86c4 100644 --- a/src/debug.cpp +++ b/src/debug.cpp @@ -55,6 +55,8 @@ static int labelToEnumValue(const char *l) return Debug::Validate; else if (label=="printtree") return Debug::PrintTree; + else if (label=="time") + return Debug::Time; else return 0; } |