diff --git a/mlir/include/mlir/IR/Dominance.h b/mlir/include/mlir/IR/Dominance.h
--- a/mlir/include/mlir/IR/Dominance.h
+++ b/mlir/include/mlir/IR/Dominance.h
@@ -124,8 +124,12 @@
   /// an SSACFG region, Operation A dominates Operation B in the same block if A
   /// preceeds B. In a Graph region, all operations in a block dominate all
   /// other operations in the same block.
-  bool properlyDominates(Operation *a, Operation *b) const {
-    return properlyDominatesImpl(a, b, /*enclosingOpOk=*/true);
+  ///
+  /// The `enclosingOpOk` flag says whether we should return true if the B op
+  /// is enclosed by a region on A.
+  bool properlyDominates(Operation *a, Operation *b,
+                         bool enclosingOpOk = true) const {
+    return properlyDominatesImpl(a, b, enclosingOpOk);
   }
 
   /// Return true if operation A dominates operation B, i.e. if A and B are the