diff options
author | Théophane Hufschmitt <regnat@users.noreply.github.com> | 2020-09-16 14:00:21 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-09-16 14:00:21 +0200 |
commit | 77a0e2c5beba478f4cfc9f3c9516e516a5da43c9 (patch) | |
tree | 9d52269f049e3414314e332070a4aa0c7962e643 /src | |
parent | c29624bf7d58aeb698ddd12b983465d355fccf79 (diff) |
Remove useless exception copy
Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
Diffstat (limited to 'src')
-rw-r--r-- | src/libstore/store-api.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/store-api.cc b/src/libstore/store-api.cc index 9252c85e8..76cbc0605 100644 --- a/src/libstore/store-api.cc +++ b/src/libstore/store-api.cc @@ -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()); |