メモリ管理の改善

[YACASL2.git] / src / label.c

diff --git a/src/label.c b/src/label.c
index c76c3a7..1b9b806 100644 (file)
--- a/src/label.c
+++ b/src/label.c
@@ -117,8 +117,8 @@ void freelabel()
             if(np->prog != NULL) {
                 free(np->prog);
             }
-            free(np->label);
-            free(np);
+            free_chk(np->label, "np.label");
+            free_chk(np, "np");
         }
     }
 }