aboutsummaryrefslogtreecommitdiff
path: root/mlir/docs/Dialects/Transform.md
diff options
context:
space:
mode:
Diffstat (limited to 'mlir/docs/Dialects/Transform.md')
-rw-r--r--mlir/docs/Dialects/Transform.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/mlir/docs/Dialects/Transform.md b/mlir/docs/Dialects/Transform.md
index 7164cb7..2133b81 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"]