X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/b73d1009d4a3494951c129e49f50f8b4c795deb1..ed62d3fbeda6bb085991cdd683ceacfc57f7afbe:/src/usymtab.c diff --git a/src/usymtab.c b/src/usymtab.c index bdb71f9..2d2bb3f 100644 --- a/src/usymtab.c +++ b/src/usymtab.c @@ -2047,12 +2047,11 @@ void usymtab_load (FILE *f) { constraintList preconditions; constraintList postconditions; - - cstring name = cstring_fromChars(reader_getWord(&s) ); + cstring name = cstring_fromChars (reader_getWord (&s)); cstring temp; - ue = usymtab_lookup ( name ); - cstring_free(name); + ue = usymtab_lookup (name); + cstring_free (name); preconditions = constraintList_undefined; postconditions = constraintList_undefined;