Skip to content

Commit 40e3409

Browse files
committed
RequirementMachine: Tiny comment fix
1 parent 8107cea commit 40e3409

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

lib/AST/RequirementMachine/RequirementMachine.cpp

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -186,7 +186,7 @@ void RewriteSystemBuilder::addRequirement(const Requirement &req,
186186
case RequirementKind::Layout: {
187187
// A layout requirement T : L becomes a rewrite rule
188188
//
189-
// T.[L] == T
189+
// T.[layout: L] == T
190190
constraintTerm = subjectTerm;
191191
constraintTerm.add(Atom::forLayout(req.getLayoutConstraint(),
192192
Context));

0 commit comments

Comments
 (0)