Fixed line numbering when multi-line macro parameters are used.

[splint.git] / src / Headers / globals.h

diff --git a/src/Headers/globals.h b/src/Headers/globals.h
index da374fe952db5d4b860a5de81fa20460a95c4abb..aafb222b6b8ad12adcd2e1282663711084bbd114 100644 (file)
--- a/src/Headers/globals.h
+++ b/src/Headers/globals.h
@@ -110,9 +110,6 @@ extern void setFileLine (fileId p_s, int p_line)
 # define setFileLine(s, line) \
   (context_setFilename(s, line))
 
-/*@constant int PRINTBREADTH;@*/ /* For printing lists.  Should be parameter... */ /*@i32@*/
-# define PRINTBREADTH 3
-
 # else
 # error "Multiple include"
 # endif