diff --git a/search/Search.cc b/search/Search.cc index 6dafbb39..7ba2a018 100644 --- a/search/Search.cc +++ b/search/Search.cc @@ -508,6 +508,8 @@ Search::deleteFilteredArrivals() || from->instances())) || thrus) { for (Vertex *vertex : *filtered_arrivals_) { + if (isClock(vertex)) + clk_arrivals_valid_ = false; deletePaths(vertex); arrivalInvalid(vertex); requiredInvalid(vertex);