Update seal_stringComparison.h