Fix a small bug in evaluator.h

Change-Id: I2c4b8637e0ac8645721109f8b6bb2396ce8bb37b
1 file changed