================ @@ -19,6 +19,7 @@ namespace mlir { namespace presburger { +namespace public_namespace_name::detail { ---------------- Superty wrote: this should be a different patch https://github.com/llvm/llvm-project/pull/76650