From cc286df574d0680ddc906eecb13311afdfa531f8 Mon Sep 17 00:00:00 2001
From: Fabian Schiebel <fabian.schiebel@iem.fraunhofer.de>
Date: Mon, 21 Oct 2024 19:32:19 +0200
Subject: [PATCH] minor cleanup

---
 .../phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h  | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h b/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h
index 844769998..e14162c0b 100644
--- a/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h
+++ b/include/phasar/DataFlow/IfdsIde/Solver/GenericSolverResults.h
@@ -63,13 +63,6 @@ template <typename N, typename D, typename L> class GenericSolverResults final {
     new (Buffer.data()) type(SR);
   }
 
-  GenericSolverResults(const GenericSolverResults &) noexcept = default;
-  GenericSolverResults &
-  operator=(const GenericSolverResults &) noexcept = default;
-  GenericSolverResults(GenericSolverResults &&) noexcept = default;
-  GenericSolverResults &operator=(GenericSolverResults &&) noexcept = default;
-  ~GenericSolverResults() = default;
-
   [[nodiscard]] l_t resultAt(ByConstRef<n_t> Stmt, ByConstRef<d_t> Node) const {
     assert(VT != nullptr);
     return VT->ResultAt(Buffer.data(), Stmt, Node);