Postcondition of feature make at class BOARD_2048 added.
Postcondition of feature make at class BOARD_2048 added.
Merge branch 'client_server' of https://github.com/nmaguirre/eiffel-2048 into client_server