[Mlir-commits] [mlir] c1fc4c6 - [mlir][SMT] fix the operation name in ArrayBroadcastOp description (#135746)

[llvmlistbot at llvm.org]

Author: Clo91eaf
Date: 2025-04-16T15:05:15+08:00
New Revision: c1fc4c6a69c6ca0ae6aa060e4377ab5040505a66

URL: https://github.com/llvm/llvm-project/commit/c1fc4c6a69c6ca0ae6aa060e4377ab5040505a66
DIFF: https://github.com/llvm/llvm-project/commit/c1fc4c6a69c6ca0ae6aa060e4377ab5040505a66.diff

LOG: [mlir][SMT] fix the operation name in ArrayBroadcastOp description (#135746)

Added: 
    

Modified: 
    mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td

Removed: 
    


################################################################################
diff  --git a/mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td b/mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td
index 1869f4ae81595..ac1c2f3ed409a 100644
--- a/mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td
+++ b/mlir/include/mlir/Dialect/SMT/IR/SMTArrayOps.td
@@ -75,7 +75,7 @@ def ArrayBroadcastOp : SMTArrayOp<"broadcast", [
     This operation represents a broadcast of the 'value' operand to all indices
     of the array. It is equivalent to
     ```
-    %0 = smt.declare "array" : !smt.array<[!smt.int -> !smt.bool]>
+    %0 = smt.declare_fun "array" : !smt.array<[!smt.int -> !smt.bool]>
     %1 = smt.forall ["idx"] {
     ^bb0(%idx: !smt.int):
       %2 = smt.array.select %0[%idx] : !smt.array<[!smt.int -> !smt.bool]>