From 93985d91b1d3e4dacf6de5563fc56f82d9123d38 Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Sat, 31 Mar 2018 14:23:57 +0200 Subject: [PATCH] Remove left-over log_ping debug commands.. oops. Signed-off-by: Clifford Wolf --- frontends/verific/verificsva.cc | 4 ---- 1 file changed, 4 deletions(-) diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc index 1a1000b19..8dc213a18 100644 --- a/frontends/verific/verificsva.cc +++ b/frontends/verific/verificsva.cc @@ -1554,20 +1554,16 @@ struct VerificSvaImporter parser_error(stringf("Failed to parse SVA clocking"), root); if (mode_assert || mode_assume) { - log_ping(); reject_bit = module->Not(NEW_ID, parse_expression(root->GetInput())); } else { - log_ping(); accept_bit = parse_expression(root->GetInput()); } } else { if (mode_assert || mode_assume) { - log_ping(); parse_property(clocking.body_net, nullptr, &reject_bit); } else { - log_ping(); parse_property(clocking.body_net, &accept_bit, nullptr); } } -- 2.30.2