X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/0a417fb381977734d0300678abf11f51d24bc29c..abd7f89523564e5e238e5852585b98f72c3b48f4:/src/Headers/globals.h

diff --git a/src/Headers/globals.h b/src/Headers/globals.h
index da374fe..aafb222 100644
--- 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