[MLIR][Transform] Docs: add SMT extension section and fix Tune header

[rolfmorel]

No description provided.

[llvmbot]

@llvm/pr-subscribers-mlir

Author: Rolf Morel (rolfmorel)

Changes

---

Full diff: https://github.com/llvm/llvm-project/pull/161560.diff

1 Files Affected:

• (modified) mlir/docs/Dialects/Transform.md (+5-1)

diff --git a/mlir/docs/Dialects/Transform.md b/mlir/docs/Dialects/Transform.md
index 7164cb74f0a8f..2133b81ed87ba 100644
--- a/mlir/docs/Dialects/Transform.md
+++ b/mlir/docs/Dialects/Transform.md
@@ -415,10 +415,14 @@ ops rather than having the methods directly act on the payload IR.
 
 [include "Dialects/TransformOps.md"]
 
-## Tuning Extension Operaiton
+## Tune Extension Operations
 
 [include "Dialects/TuneExtensionOps.md"]
 
+## SMT Extension Operations
+
+[include "Dialects/SMTExtensionOps.md"]
+
 ## Affine Transform Operations
 
 [include "Dialects/AffineLoopTransformOps.md"]