This commit is contained in:
James Cherry 2020-12-19 17:33:56 -07:00
parent 9a0790d15e
commit 75fff21076
1 changed files with 3 additions and 1 deletions

View File

@ -3566,8 +3566,10 @@ Search::matchesFilter(Path *path,
&& filter_to_)
// -to
return matchesFilterTo(path, to_clk_edge);
else
else {
report_->critical(262, "unexpected filter path");
return false;
}
}
// Similar to Constraints::exceptionMatchesTo.