From c3351206b9643d393aff3ee9a187ffe897699a6d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick-github@luehne.de>
Date: Thu, 6 Apr 2017 17:19:32 +0200
Subject: [PATCH] Removed unused code.

---
 include/anthem/AST.h | 25 -------------------------
 1 file changed, 25 deletions(-)

diff --git a/include/anthem/AST.h b/include/anthem/AST.h
index 9157fb9..d36cae0 100644
--- a/include/anthem/AST.h
+++ b/include/anthem/AST.h
@@ -355,31 +355,6 @@ std::vector<Formula> deepCopy(const std::vector<Formula> &formulas);
 Term deepCopy(const Term &term);
 std::vector<Term> deepCopy(const std::vector<Term> &terms);
 
-////////////////////////////////////////////////////////////////////////////////////////////////////
-/*
-const auto deepCopyUniquePtr =
-	[](const auto &uniquePtr) -> typename std::decay<decltype(uniquePtr)>::type
-	{
-		using Type = typename std::decay<decltype(uniquePtr)>::type::element_type;
-		return std::make_unique<Type>(deepCopy(*uniquePtr));
-	};
-
-////////////////////////////////////////////////////////////////////////////////////////////////////
-
-const auto deepCopyUniquePtrVector =
-	[](const auto &uniquePtrVector) -> typename std::decay<decltype(uniquePtrVector)>::type
-	{
-		using Type = typename std::decay<decltype(uniquePtrVector)>::type::value_type;
-
-		std::vector<Type> result;
-		result.reserve(uniquePtrVector.size());
-
-		for (const auto &uniquePtr : uniquePtrVector)
-			result.emplace_back(deepCopyUniquePtr(uniquePtr));
-
-		return result;
-	};
-*/
 ////////////////////////////////////////////////////////////////////////////////////////////////////
 
 template<class Variant>