Fixed problem with resetting null state after error for constants.

[splint.git] / src / aliasTable.c

diff --git a/src/aliasTable.c b/src/aliasTable.c
index 8a94f2dccfb34c8cfea7acc2656c4d9cc5312939..3246c697593e1d4ee7da49f0a9eaa8fea97a6034 100644 (file)
--- a/src/aliasTable.c
+++ b/src/aliasTable.c
@@ -834,11 +834,11 @@ void aliasTable_checkValid (aliasTable t)
 {
   aliasTable_elements (t, key, value)
     {
-      (void) sRef_isCompletelyReasonable (key);
+      sRef_checkCompletelyReasonable (key);
 
       sRefSet_elements (value, sr) 
        {
-         (void) sRef_isCompletelyReasonable (sr);
+         sRef_checkCompletelyReasonable (sr);
        } end_sRefSet_elements ;
     } end_aliasTable_elements ;
 }