From 77a0e2c5beba478f4cfc9f3c9516e516a5da43c9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophane=20Hufschmitt?=
 <regnat@users.noreply.github.com>
Date: Wed, 16 Sep 2020 14:00:21 +0200
Subject: [PATCH] Remove useless exception copy

Co-authored-by: Eelco Dolstra <edolstra@gmail.com>
---
 src/libstore/store-api.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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());