Remove left-over log_ping debug commands.. oops.
authorClifford Wolf <clifford@clifford.at>
Sat, 31 Mar 2018 12:23:57 +0000 (14:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 31 Mar 2018 12:23:57 +0000 (14:23 +0200)
commit93985d91b1d3e4dacf6de5563fc56f82d9123d38
treea9b747527eafee499022010d1f5f3a58e763faae
parent7ea8833676d8b388a57be2d0c1c7a6b1e450226a
Remove left-over log_ping debug commands.. oops.

Signed-off-by: Clifford Wolf <clifford@clifford.at>
frontends/verific/verificsva.cc