Commit 7a06b33e authored by Etienne Renault's avatar Etienne Renault

modelcheck: please gcc catch-value errors

* tests/ltsmin/modelcheck.cc: here.
parent 88db36b3
......@@ -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;
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment