*** empty log message ***

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

diff --git a/src/Headers/llerror.h b/src/Headers/llerror.h
index 0090d29d13c547030b551455f3e3afb3b2c05ce6..0b81bfbf7db759fc1f1cd22e12bc3a954bf1db8b 100644 (file)
--- a/src/Headers/llerror.h
+++ b/src/Headers/llerror.h
@@ -77,14 +77,6 @@ extern /*@exits@*/ void llfatalbug (/*@only@*/ cstring p_s)
 # define llfatalbug(p_s) \
      xllfatalbug (__FILE__, __LINE__, p_s)
 
-extern /*@private@*/ void xllgloberror (char *p_srcFile, int p_srcLine, 
-                                       /*@only@*/ cstring p_s)
-     /*@modifies g_msgstream@*/ ;
-
-extern void llgloberror (/*@only@*/ cstring p_s) /*@modifies g_msgstream@*/ ;
-# define llgloberror(p_s) \
-     xllgloberror (__FILE__, __LINE__, p_s)
-
 extern /*@private@*/ bool xllgenerror (char *p_srcFile, int p_srcLine, flagcode p_o,
                                       /*@only@*/ cstring p_s, fileloc p_fl)
      /*@modifies g_msgstream@*/ ;