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

[splint.git] / src / specialClauses.c

diff --git a/src/specialClauses.c b/src/specialClauses.c
index 4e3406840ead1ebd27eee846a97ea260cb14a8ba..6fc6ab610d41d4a15e33ce82bc070106e5f32041 100644 (file)
--- a/src/specialClauses.c
+++ b/src/specialClauses.c
@@ -495,10 +495,10 @@ specialClause specialClause_undump (char **s)
 {
   specialClause ret = (specialClause) dmalloc (sizeof (*ret));
 
-  ret->state = (stateConstraint) getInt (s);
-  checkChar (s, '.');
-  ret->kind = (specialClauseKind) getInt (s);
-  checkChar (s, '.');
+  ret->state = (stateConstraint) reader_getInt (s);
+  reader_checkChar (s, '.');
+  ret->kind = (specialClauseKind) reader_getInt (s);
+  reader_checkChar (s, '.');
   ret->refs = sRefSet_undump (s);
 
   return ret;
@@ -770,7 +770,7 @@ specialClauses specialClauses_undump (char **s)
       specialClause sc = specialClause_undump (s);
       
       pn = specialClauses_add (pn, sc);
-      checkChar (s, '$');
+      reader_checkChar (s, '$');
       c = **s;
       paramno++;
     }