Fix minor compilation problems in match_different() and is_same().
1 file changed