Merge pull request #171 from jruderman/catch_name

Remove unused catch binding
This commit is contained in:
Zeno Rogue 2021-06-30 01:03:01 +02:00 committed by GitHub
commit 8e06c8f25a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -1744,7 +1744,7 @@ EX namespace patterns {
try {
return ep.parse();
}
catch(hr_parse_exception& ex) {
catch(hr_parse_exception&) {
return 0;
}
}