Merged code tree with Dave Evans's version. Many changes to numberous to list....

[splint.git] / src / qualList.c

diff --git a/src/qualList.c b/src/qualList.c
index 29d1e6f211d4e6d6363477f193da0618bfd9cd76..aa3452446aed5614b47829da50ecb6b1a0863324 100644 (file)
--- a/src/qualList.c
+++ b/src/qualList.c
@@ -1,6 +1,6 @@
 /*
 ** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Copyright (C) 1994-2001 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -205,9 +205,9 @@ requires: p is defined
 returns: true if qual is present in qualList
 modifies: none
 */
-bool qualList_hasNullTerminatedQualifier(qualList q) {
-    qualList_elements(q, qu) {
-      if( qual_equal(qu, QU_NULLTERMINATED) ) return TRUE;
+bool qualList_hasNullTerminatedQualifier(qualList s) {
+    qualList_elements(s, qu) {
+      if( qual_isNullTerminated(qu) ) return TRUE;
     } end_qualList_elements ;
    
   return FALSE;