CnfEdit deconstruct

HustCoderHu · HustCoderHu · commit b850b47865a8 · 2019-03-08T17:18:21.000+08:00
diff --git a/SAT_problem/cnfedit.cpp b/SAT_problem/cnfedit.cpp
@@ -17,9 +17,12 @@ CnfEdit::~CnfEdit()
 {
   if (deletedClause != nullptr)
     delete deletedClause;
+  if (nullptr == varVec)
+    return;
   for (uint32_t i = 0; i < nVarPlusNOT; ++i)
     if (varVec[i] != nullptr)
-      delete varVec;
+      delete varVec[i];
+  delete varVec;
 }
 
 void CnfEdit::reset()
