From 577f843f6d6fdad2332c7a5d4c8c3dbcc52fe5d0 Mon Sep 17 00:00:00 2001
From: Thomas Schwinge <tschwinge@gnu.org>
Date: Sat, 2 Jun 2007 10:55:27 +0000
Subject: 2007-06-02  Thomas Schwinge  <tschwinge@gnu.org>

	* global.c (LintLib): Remove definition.
	* global.h (LintLib): Remove declaration.
	* header.c (WriteUserRoutine, WriteServerRoutine): Don't emit `Lint'
	code.
	* user.c (WriteIncludes): Likewise.
	* utils.c (WriteRCSDecl): Likewise.
---
 global.c | 2 --
 1 file changed, 2 deletions(-)

(limited to 'global.c')

diff --git a/global.c b/global.c
index 0a27a9e..0a938f2 100644
--- a/global.c
+++ b/global.c
@@ -51,8 +51,6 @@ const_string_t RoutinePrefix = "";
 
 string_t yyinname;
 
-const char LintLib[] = "defined(LINTLIBRARY)";
-
 void
 init_global(void)
 {
-- 
cgit v1.2.3