X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTranslator%2Forderpairresolver.cc;h=38c8a761824b0139fc0d3bcdda376486bc2f47a9;hp=6044e067c8b7f9140e1f2ca9501cd3b3ea2dc120;hb=457ee300c637089a095444672c9d4628faf901e7;hpb=3840b262ca90a6cbbb24a4073adb2318e62905a2

diff --git a/src/Translator/orderpairresolver.cc b/src/Translator/orderpairresolver.cc
index 6044e06..38c8a76 100644
--- a/src/Translator/orderpairresolver.cc
+++ b/src/Translator/orderpairresolver.cc
@@ -23,7 +23,7 @@ OrderPairResolver::OrderPairResolver(CSolver *_solver, Order *_order) :
 
 OrderPairResolver::~OrderPairResolver() {
 	if (orderPairTable != NULL) {
-		orderPairTable->resetanddelete();
+		orderPairTable->resetAndDeleteVals();
 		delete orderPairTable;
 	}
 }