Fix some memory leaks

[satune.git] / src / ASTAnalyses / Order / orderanalysis.cc

diff --git a/src/ASTAnalyses/Order/orderanalysis.cc b/src/ASTAnalyses/Order/orderanalysis.cc
index 3d829c94b5e57ed59676071fb63d57634f3c82f0..13e26c07eca66a0cfa32c20b115340e0bbf07085 100644 (file)
--- a/src/ASTAnalyses/Order/orderanalysis.cc
+++ b/src/ASTAnalyses/Order/orderanalysis.cc
@@ -155,7 +155,7 @@ void completePartialOrderGraph(OrderGraph *graph) {
                }
        }
 
                }
        }
 

-       table->resetanddelete();
+       table->resetAndDeleteVals();

        delete table;
        resetNodeInfoStatusSCC(graph);
 }
        delete table;
        resetNodeInfoStatusSCC(graph);
 }


@@ -245,7 +245,7 @@ void DFSClearContradictions(CSolver *solver, OrderGraph *graph, Vector<OrderNode
                }
        }
 
                }
        }
 

-       table->resetanddelete();
+       table->resetAndDeleteVals();

        delete table;
 }
 
        delete table;
 }