Skip to content

Commit 0f73410

Browse files
authored
Merge pull request swiftlang#39677 from slavapestov/rqm-fix-small-nit
RequirementMachine: Remove redundant call to recordHomotopyGenerator()
2 parents 3f68cca + 36b9c79 commit 0f73410

File tree

1 file changed

+0
-3
lines changed

1 file changed

+0
-3
lines changed

lib/AST/RequirementMachine/RewriteSystemCompletion.cpp

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -583,9 +583,6 @@ RewriteSystem::computeConfluentCompletion(unsigned maxIterations,
583583
llvm::dbgs() << "$$ Loop: ";
584584
loop.dump(llvm::dbgs(), *this);
585585
llvm::dbgs() << "\n\n";
586-
587-
// Record the trivial loop.
588-
recordHomotopyGenerator(loop);
589586
}
590587
}
591588
});

0 commit comments

Comments
 (0)