tree 47afdcee4d091666a829dad4ea0612214ff575e8
parent f4233598dbfa6fc2c60bf83df5e58f13d441c02d
author Sameer Agarwal <sameeragarwal@google.com> 1490986683 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1490987014 +0000

Update Problem::EvaluateOptions documentation.

Thanks to Ricardo Martin for reporting this.

Change-Id: Ic3ce60f8de419f1d2cb19c949054049da79fe91a