Disable the default copy constructor for Position class

No functional change

Resolved #183

diff --git a/src/position.h b/src/position.h
index a2ceb99..896619d 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; }