From: ceriel <none@none>
Date: Thu, 6 Aug 1987 19:15:40 +0000 (+0000)
Subject: deleted a warning
X-Git-Tag: release-5-5~3924
X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=fec5feef773958d6a7f6a829775e3860ce3bdc4b;p=ack.git

deleted a warning
---

diff --git a/util/led/extract.c b/util/led/extract.c
index 060f8c39c..b6719f408 100644
--- a/util/led/extract.c
+++ b/util/led/extract.c
@@ -209,9 +209,10 @@ redefine(new, old)
 	if (!ISCOMMON(old)) {
 		if (!ISCOMMON(new))
 			error("%s: multiply defined", new->on_mptr);
-
+		/*
 		else if ((new->on_type & S_TYP) != (old->on_type & S_TYP))
 			warning("%s: sections differ", new->on_mptr);
+		*/
 	} else {
 		/* `Old' is common. */
 		if (ISCOMMON(new)) {