Fix small bug introduced with PR #4735 (#4845)
* Bug fix: `result[0]` called if `result.empty()` * Add unit test that fails without the fix.
Showing
Please
register
or
sign in
to comment
* Bug fix: `result[0]` called if `result.empty()` * Add unit test that fails without the fix.