Remove left-over log_ping debug commands.. oops.

Signed-off-by: Clifford Wolf <clifford@clifford.at>

diff --git a/frontends/verific/verificsva.cc b/frontends/verific/verificsva.cc
index 1a1000b1966154b89361bf023a9734bca20cf080..8dc213a18e3d526d0d2f3bf87a581714bf41c73b 100644 (file)
--- 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);
                                }
                        }