Skip to content

Commit deaeb36

Browse files
committed
RequirementMachine: Make RewritePath::getRulesInEmptyContext() const
1 parent e790680 commit deaeb36

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

lib/AST/RequirementMachine/RewriteLoop.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -346,7 +346,7 @@ bool RewritePath::replaceRuleWithPath(unsigned ruleID,
346346

347347
SmallVector<unsigned, 1>
348348
RewritePath::getRulesInEmptyContext(const MutableTerm &term,
349-
const RewriteSystem &system) {
349+
const RewriteSystem &system) const {
350350
// Rules appearing in empty context (possibly more than once).
351351
llvm::SmallDenseSet<unsigned, 2> rulesInEmptyContext;
352352
// The number of times each rule appears (with or without context).

lib/AST/RequirementMachine/RewriteLoop.h

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -412,7 +412,7 @@ class RewritePath {
412412
bool replaceRuleWithPath(unsigned ruleID, const RewritePath &path);
413413

414414
SmallVector<unsigned, 1> getRulesInEmptyContext(const MutableTerm &term,
415-
const RewriteSystem &system);
415+
const RewriteSystem &system) const;
416416

417417
void invert();
418418

0 commit comments

Comments
 (0)