diff options
Diffstat (limited to 'src/theory/arith/bound_inference.cpp')
| -rw-r--r-- | src/theory/arith/bound_inference.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/arith/bound_inference.cpp b/src/theory/arith/bound_inference.cpp index 3b40f925e..5824d8239 100644 --- a/src/theory/arith/bound_inference.cpp +++ b/src/theory/arith/bound_inference.cpp @@ -43,7 +43,7 @@ Bounds BoundInference::get(const Node& lhs) const auto it = d_bounds.find(lhs); if (it == d_bounds.end()) { - return Bounds{}; + return Bounds(); } return it->second; } |