tree 0b33be3f5c37b8f970dec859087a89f59a0b2b4a
parent 3d9546963d7c8c5f5dfb12a2df745f4996fd2ec5
author Sameer Agarwal <sameeragarwal@google.com> 1366326836 -0700
committer Sameer Agarwal <sameeragarwal@google.com> 1366326836 -0700

Fix a typo in problem.h

Thanks as usual to William Rucklidge.

Change-Id: If6e8628841ee7fa8978ec56918a80d60b4ff660e