Added manual test cases.

[splint.git] / src / metaStateInfo.c

diff --git a/src/metaStateInfo.c b/src/metaStateInfo.c
index 773207c07d476748676c31a285958deff616bef8..074cc74327e087e412a69dfe10dd9fa4f086d5c9 100644 (file)
--- a/src/metaStateInfo.c
+++ b/src/metaStateInfo.c
@@ -67,6 +67,7 @@ void metaStateInfo_free (/*@only@*/ metaStateInfo msinfo)
       stateCombinationTable_free (msinfo->sctable);
       stateCombinationTable_free (msinfo->mergetable);
       fileloc_free (msinfo->loc);
+      mtContextNode_free (msinfo->context); /* evans 2002-01-03 */
       sfree (msinfo);
     }
 }