diff options
Diffstat (limited to 'src/profiler.h')
| -rw-r--r-- | src/profiler.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/profiler.h b/src/profiler.h index 56b026880..271ad70c1 100644 --- a/src/profiler.h +++ b/src/profiler.h @@ -73,7 +73,7 @@ public: else{ /* No add shall have been used */ assert(n->second != -2); - n->second = std::max(n->second, 0) + 1; + n->second = (std::max)(n->second, 0) + 1; } } { |