diff --git a/kernel/rtlil.h b/kernel/rtlil.h
index 073110f16..a562d253c 100644
--- a/kernel/rtlil.h
+++ b/kernel/rtlil.h
@@ -970,7 +970,7 @@ public:
 #ifndef NDEBUG
 	void check(Module *mod = nullptr) const;
 #else
-	void check(Module *mod = nullptr) const { }
+	void check(Module *mod = nullptr) const { (void)mod; }
 #endif
 };