Commit a6f1e7bf authored by Tim Wickberg's avatar Tim Wickberg
Browse files

Silence false positive warning about uninit'd save_time_limit.

deadline_time_limit is ensuring this is always set, but the optimizer
appears to not be able to work out the flow here.
parent f38a9b93
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment