diff options
| -rw-r--r-- | common/rulecheck.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/common/rulecheck.cc b/common/rulecheck.cc index b81695b9..28d4b6b7 100644 --- a/common/rulecheck.cc +++ b/common/rulecheck.cc @@ -57,5 +57,6 @@ bool check_all_nets_driven(Design *design) { } if (debug) log_info(" Verified!\n"); + return true; } |