X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/5e211f69ddc6240f0db9af54a57134d237401d37..3e3ec46998ea67d6742eb30afc16058c5537004e:/src/stateClauseList.c

diff --git a/src/stateClauseList.c b/src/stateClauseList.c
index c521f82..f3cbe96 100644
--- a/src/stateClauseList.c
+++ b/src/stateClauseList.c
@@ -359,6 +359,10 @@ void stateClauseList_checkAll (uentry ue)
 			{
 			  ; /* Okay to override in .xh files */
 			}
+		      else if (stateClause_isQual (cl))
+			{
+			  ; /* qual clauses don't interfere with definition state */
+			}
 		      else
 			{
 			  voptgenerror