From: Clifford Wolf <clifford@clifford.at>
Date: Sat, 31 Mar 2018 12:23:57 +0000 (+0200)
Subject: Remove left-over log_ping debug commands.. oops.
X-Git-Tag: yosys-0.8~132
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=93985d91b1d3e4dacf6de5563fc56f82d9123d38;p=yosys.git

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 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);
 				}
 			}