Added the code for setBufferSize and setStringLegnth annotations.

[splint.git] / src / llerror.c

diff --git a/src/llerror.c b/src/llerror.c
index 56ff160559d281a567ba559b25cd8d55a372c2eb..2585be81613b75d7bc817dbe2f60e00fa9aa780b 100644 (file)
--- a/src/llerror.c
+++ b/src/llerror.c
@@ -1540,6 +1540,7 @@ bool llnoptgenerror (flagcode o, /*@only@*/ cstring s, fileloc loc)
   return FALSE;
 }
 
+
 void llparseerror (cstring s)
 {
   if (context_getFlag (FLG_TRYTORECOVER))