Disable the default copy constructor for Position class

No functional change

Resolved #183

diff --git a/src/position.h b/src/position.h
index a2ceb9902c2f3e05b2c19f1e3ba2d3a97ba1bc9f..896619dca867682ed9764f404ee9c2ecf1e20311 100644 (file)
--- 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; }