File tree Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Expand file tree Collapse file tree 1 file changed +3
-3
lines changed Original file line number Diff line number Diff line change @@ -404,7 +404,7 @@ namespace {
404
404
PAIRCASE (SpaceKind::Constructor, SpaceKind::Constructor): {
405
405
// Optimization: If the constructor heads don't match, subspace is
406
406
// impossible.
407
- if (this ->Head . compare (other. Head ) != 0 ) {
407
+ if (this ->Head != other. Head ) {
408
408
return false ;
409
409
}
410
410
@@ -551,7 +551,7 @@ namespace {
551
551
PAIRCASE (SpaceKind::Constructor, SpaceKind::Constructor): {
552
552
// Optimization: If the heads don't match, the intersection of
553
553
// the constructor spaces is empty.
554
- if (this ->getHead (). compare (other. Head ) != 0 ) {
554
+ if (this ->getHead () != other. Head ) {
555
555
return Space ();
556
556
}
557
557
@@ -723,7 +723,7 @@ namespace {
723
723
PAIRCASE (SpaceKind::Constructor, SpaceKind::Constructor): {
724
724
// Optimization: If the heads of the constructors don't match then
725
725
// the two are disjoint and their difference is the first space.
726
- if (this ->Head . compare (other. Head ) != 0 ) {
726
+ if (this ->Head != other. Head ) {
727
727
return *this ;
728
728
}
729
729
You can’t perform that action at this time.
0 commit comments