Restore std::dec after std::hex
authorMarco Costalba <mcostalba@gmail.com>
Sun, 2 Nov 2014 07:03:52 +0000 (08:03 +0100)
committerMarco Costalba <mcostalba@gmail.com>
Sun, 2 Nov 2014 07:03:52 +0000 (08:03 +0100)
commitfc0733087a035b9e86e17f73b42215b583392502
tree0901994ea2220d8165a158f94a42b15a6b48f6b2
parent42a20920e5259dbe3efd9002fbc7176a9f071636
Restore std::dec after std::hex

Code is leaking a std::hex, and causes subsequent
sync_cout output to be in hexadecimal.

Spotted by Lucas

No functional change.
src/position.cpp