From d2549334f9d278d39d4b79f9ca9f28a9c05e511d Mon Sep 17 00:00:00 2001
From: Etienne Renault <renault@lrde.epita.fr>
Date: Thu, 28 Sep 2017 14:28:10 +0200
Subject: [PATCH] modelcheck: please gcc catch-value errors

* tests/ltsmin/modelcheck.cc: here.
---
 tests/ltsmin/modelcheck.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/tests/ltsmin/modelcheck.cc b/tests/ltsmin/modelcheck.cc
index c164dc2c9..08641be05 100644
--- a/tests/ltsmin/modelcheck.cc
+++ b/tests/ltsmin/modelcheck.cc
@@ -306,7 +306,7 @@ static int checked_main()
             {
               res = ec->check();
             }
-          catch (std::bad_alloc)
+          catch (std::bad_alloc&)
           {
             std::cerr << "Out of memory during emptiness check."
                       << std::endl;
@@ -341,7 +341,7 @@ static int checked_main()
               {
                 run = res->accepting_run();
               }
-            catch (std::bad_alloc)
+            catch (std::bad_alloc&)
               {
                 std::cerr << "Out of memory while looking for counterexample."
                           << std::endl;