*** empty log message ***

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index 9e0ee2690f4b0b27ecf733676006705b5b9a0cc5..d6223b37d96aaa7eaa4de2d93e723defce1504b5 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -7120,8 +7120,6 @@ sRef_makeConst (ctype ct)
   /* start modification */
   s->bufinfo.bufstate = BB_NULLTERMINATED;
   /* end modification */
-
-  
   if (ctype_isUA (ct))
     {
       typeId uid = ctype_typeId (ct);