{
if (std::strstr (ex.what(), "unhandled name in generic implementation"))
return;
+ else if (std::strstr (ex.what(), "unknown name"))
+ return;
else
throw;
}
{
if (std::strstr (ex.what(), "unhandled name in generic implementation"))
return;
+ else if (std::strstr (ex.what(), "unknown name"))
+ return;
else
throw;
}
{
if (std::strstr (ex.what(), "unhandled name in generic implementation"))
return;
+ else if (std::strstr (ex.what(), "unknown name"))
+ return;
else
throw;
}