Update double-buffer.cpp

Suggested simplification to double-buffered update