From 3a6e400f4478161c72bbabb1bcbc71ece7318877 Mon Sep 17 00:00:00 2001
From: David Shah <davey1576@gmail.com>
Date: Wed, 6 Jun 2018 21:14:42 +0200
Subject: [PATCH] rulecheck.cc: Add missing return

Signed-off-by: David Shah <davey1576@gmail.com>
---
 common/rulecheck.cc | 1 +
 1 file changed, 1 insertion(+)

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