X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/0a417fb381977734d0300678abf11f51d24bc29c..abd7f89523564e5e238e5852585b98f72c3b48f4:/src/constraintTerm.c

diff --git a/src/constraintTerm.c b/src/constraintTerm.c
index 65012f9..8d1aa13 100644
--- a/src/constraintTerm.c
+++ b/src/constraintTerm.c
@@ -597,7 +597,7 @@ void constraintTerm_dump ( /*@observer@*/ constraintTerm t,  FILE *f)
 }
 
 
-/*@only@*/ constraintTerm constraintTerm_undump ( FILE *f)
+/*@only@*/ constraintTerm constraintTerm_undump (FILE *f)
 {
   constraintTermType kind;
   constraintTerm ret;
@@ -611,9 +611,13 @@ void constraintTerm_dump ( /*@observer@*/ constraintTerm t,  FILE *f)
 
   str = fgets (os, MAX_DUMP_LINE_LENGTH, f);
 
+  llassert (str != NULL);
+
   kind = (constraintTermType) reader_getInt(&str);
   str = fgets(os, MAX_DUMP_LINE_LENGTH, f);
 
+  llassert (str != NULL);
+
   switch (kind)
     {