From 19b8249ff47ed2109182b2eacfc03ddb3d0a7059 Mon Sep 17 00:00:00 2001 From: Matthew Lai Date: Fri, 2 Jan 2015 20:18:49 +0000 Subject: [PATCH] Disable the default copy constructor for Position class No functional change Resolved #183 --- src/position.h | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/position.h b/src/position.h index a2ceb990..896619dc 100644 --- a/src/position.h +++ b/src/position.h @@ -76,6 +76,9 @@ class Position { friend std::ostream& operator<<(std::ostream&, const Position&); + // Disable the default copy constructor + Position(const Position&); + public: Position() {} Position(const Position& pos, Thread* th) { *this = pos; thisThread = th; } -- 2.39.2