RequirementMachine: Fix a typo in debug output and comment

This commit is contained in:
Slava Pestov
2021-10-13 16:05:10 -04:00
parent 003bd5a4c5
commit a6cd78eeab
2 changed files with 2 additions and 2 deletions

View File

@@ -333,7 +333,7 @@ void RewriteSystem::simplifyRewriteSystem() {
continue;
if (Debug.contains(DebugFlags::Completion)) {
const auto &otherRule = getRule(ruleID);
const auto &otherRule = getRule(*otherRuleID);
llvm::dbgs() << "$ Deleting rule " << rule << " because "
<< "its left hand side contains " << otherRule
<< "\n";