Fix minor bug in testConstraint.cpp