From 1a12cf2530897310541290ad5644375d0d48640e Mon Sep 17 00:00:00 2001
From: George Tokmaji <tokmajigeorge@gmail.com>
Date: Mon, 23 Sep 2024 09:16:11 +0200
Subject: [PATCH] StdCompiler::Exception: Remove non-standard deleted copy
 constructor as exception objects need to be copyable

---
 src/StdCompiler.h | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/StdCompiler.h b/src/StdCompiler.h
index d9a552c70..5ccd8f3c2 100644
--- a/src/StdCompiler.h
+++ b/src/StdCompiler.h
@@ -255,10 +255,6 @@ class StdCompiler
 	protected:
 		Exception(std::string pos, std::string msg) : runtime_error{std::move(msg)}, Pos{std::move(pos)} {}
 
-	private:
-		// do not copy
-		Exception(const Exception &Exc) = delete;
-
 	public:
 		std::string Pos;
 	};