]> andersk Git - splint.git/blobdiff - src/usymtab.c
Fixes after removing -unrecogcomments flag for make splintme.
[splint.git] / src / usymtab.c
index bdb71f9e080f5933548ba434b3c82afc3491b17d..2d2bb3f724416ab2671f29a0caa1eacff9603362 100644 (file)
@@ -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;
This page took 0.033082 seconds and 4 git commands to generate.