From 3a8fe1c957b74d087471db3e2fab6cf27acf26d4 Mon Sep 17 00:00:00 2001
From: Daniel Schemmel <daniel@schemmel.net>
Date: Fri, 24 Mar 2023 00:59:02 +0000
Subject: use unique_ptr in StagedSolverImpl

---
 lib/Solver/IncompleteSolver.cpp | 5 -----
 1 file changed, 5 deletions(-)

(limited to 'lib')

diff --git a/lib/Solver/IncompleteSolver.cpp b/lib/Solver/IncompleteSolver.cpp
index 9b57bc6c..a9035eda 100644
--- a/lib/Solver/IncompleteSolver.cpp
+++ b/lib/Solver/IncompleteSolver.cpp
@@ -64,11 +64,6 @@ StagedSolverImpl::StagedSolverImpl(IncompleteSolver *_primary,
     secondary(_secondary) {
 }
 
-StagedSolverImpl::~StagedSolverImpl() {
-  delete primary;
-  delete secondary;
-}
-
 bool StagedSolverImpl::computeTruth(const Query& query, bool &isValid) {
   IncompleteSolver::PartialValidity trueResult = primary->computeTruth(query); 
   
-- 
cgit 1.4.1