Disable the default copy constructor for Position class
authorMatthew Lai <m@matthewlai.ca>
Fri, 2 Jan 2015 20:18:49 +0000 (20:18 +0000)
committerJoona Kiiski <joona.kiiski@gmail.com>
Fri, 2 Jan 2015 20:19:11 +0000 (20:19 +0000)
No functional change

Resolved #183

src/position.h

index a2ceb99..896619d 100644 (file)
@@ -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; }