Disable the default copy constructor for Position class

No functional change

Resolved #183
This commit is contained in:
Matthew Lai
2015-01-02 20:18:49 +00:00
committed by Joona Kiiski
parent 25b492ab58
commit 19b8249ff4

View 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; }