diff options
Diffstat (limited to 'common/threads')
| -rw-r--r-- | common/threads/driver.cxx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/common/threads/driver.cxx b/common/threads/driver.cxx index f1a83d5..bf12707 100644 --- a/common/threads/driver.cxx +++ b/common/threads/driver.cxx @@ -96,7 +96,7 @@ struct task t.commit (); break; } - catch (deadlock const&) {} + catch (const deadlock&) {} } for (unsigned long j (0); j < sub_iteration_count; ++j) |