Fixed manual typo.

[splint.git] / src / sRef.c

diff --git a/src/sRef.c b/src/sRef.c
index 349048b72ecb06f07d21867b2ed365279ee2e21f..691b14fe4fc81c7cc4e8974aa8c03e339efb6bd6 100644 (file)
--- a/src/sRef.c
+++ b/src/sRef.c
@@ -7315,7 +7315,9 @@ sRef_makeConst (ctype ct)
   /* start modification */
   s->bufinfo.bufstate = BB_NULLTERMINATED;
   /* end modification */
-  if (ctype_isUA (ct))
+
+  /* evans 2002-04-22: added isManifestBool to avoid errors for -boolfalse initializations */
+  if (!ctype_isManifestBool (ct) && ctype_isUA (ct)) 
     {
       typeId uid = ctype_typeId (ct);
       uentry te = usymtab_getTypeEntrySafe (uid);
@@ -7326,7 +7328,6 @@ sRef_makeConst (ctype ct)
        }
     }
   
-  
   s->oaliaskind = s->aliaskind;
   s->oexpkind = s->expkind;