diff options
| author | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-11-24 08:51:11 -0500 |
|---|---|---|
| committer | Bjoern Brandenburg <bbb@mpi-sws.org> | 2012-11-24 08:51:11 -0500 |
| commit | 0e2edbe1dda2f944cdab0dd896b9434bf386f572 (patch) | |
| tree | 3939478190bfda9c1c4491692b2869504eea67a6 /native/src/sharedres.cpp | |
| parent | 063c25197463f83b03c9398974681bf386cd12c0 (diff) | |
Avoid compiler warnings about unused variables
Diffstat (limited to 'native/src/sharedres.cpp')
| -rw-r--r-- | native/src/sharedres.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/native/src/sharedres.cpp b/native/src/sharedres.cpp index 1fbb452..a2b43ac 100644 --- a/native/src/sharedres.cpp +++ b/native/src/sharedres.cpp | |||
| @@ -379,7 +379,7 @@ static Interference max_local_request_span(const TaskInfo &tsk, | |||
| 379 | t.get_priority() >= tsk.get_priority()) | 379 | t.get_priority() >= tsk.get_priority()) |
| 380 | { | 380 | { |
| 381 | Interference b = bounds.get_max_request_span(i); | 381 | Interference b = bounds.get_max_request_span(i); |
| 382 | span = std::max(span, bounds.get_max_request_span(i)); | 382 | span = std::max(span, b); |
| 383 | } | 383 | } |
| 384 | } | 384 | } |
| 385 | } | 385 | } |
