Fix doc comment for mergeLocalIds.
GitOrigin-RevId: b912bf240e718d47a0cc00bda5b6da2853c8715d
diff --git a/include/mlir/Analysis/AffineStructures.h b/include/mlir/Analysis/AffineStructures.h
index a9bc382..f69ef19 100644
--- a/include/mlir/Analysis/AffineStructures.h
+++ b/include/mlir/Analysis/AffineStructures.h
@@ -441,10 +441,13 @@
/// variables.
void convertDimToLocal(unsigned dimStart, unsigned dimLimit);
- /// Adds additional local ids to the sets such that they both have the union
- /// of the local ids in each set, without changing the set of points that
- /// lie in `this` and `other`. The ordering of the local ids in the
- /// sets may also be changed but is the same in both sets.
+ /// Adds additional local ids to the sets such that they both have the union
+ /// of the local ids in each set, without changing the set of points that
+ /// lie in `this` and `other`. The ordering of the local ids in the
+ /// sets may also be changed. After merging, if the `i^th` local variable in
+ /// one set has a known division representation, then the `i^th` local
+ /// variable in the other set either has the same division representation or
+ /// no known division representation.
///
/// The number of dimensions and symbol ids in `this` and `other` should
/// match.
