Remove useless exception copy

Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
This commit is contained in:
Théophane Hufschmitt 2020-09-16 14:00:21 +02:00 committed by GitHub
parent c29624bf7d
commit 77a0e2c5be
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1096,7 +1096,7 @@ ref<Store> openStore(const std::string & uri_,
}
}
}
catch (BadURL) {
catch (BadURL &) {
auto [uri, uriParams] = splitUriAndParams(uri_);
params.insert(uriParams.begin(), uriParams.end());