[Mlir-commits] [mlir] [mlir][SMT] C APIs (PR #135501)

[llvmlistbot at llvm.org]

github-actions[bot] wrote:

<!--LLVM CODE FORMAT COMMENT: {clang-format}-->


:warning: C/C++ code formatter, clang-format found issues in your code. :warning:

<details>
<summary>
You can test this locally with the following command:
</summary>

``````````bash
git-clang-format --diff HEAD~1 HEAD --extensions h,c,cpp -- mlir/include/mlir-c/Dialect/SMT.h mlir/include/mlir-c/Target/ExportSMTLIB.h mlir/lib/CAPI/Dialect/SMT.cpp mlir/lib/CAPI/Target/ExportSMTLIB.cpp mlir/test/CAPI/smt.c
``````````

</details>

<details>
<summary>
View the diff from clang-format here.
</summary>

``````````diff
diff --git a/mlir/lib/CAPI/Dialect/SMT.cpp b/mlir/lib/CAPI/Dialect/SMT.cpp
index 346864737..f4df81a97 100644
--- a/mlir/lib/CAPI/Dialect/SMT.cpp
+++ b/mlir/lib/CAPI/Dialect/SMT.cpp
@@ -7,9 +7,9 @@
 //===----------------------------------------------------------------------===//
 
 #include "mlir-c/Dialect/SMT.h"
+#include "mlir/CAPI/Registration.h"
 #include "mlir/Dialect/SMT/IR/SMTDialect.h"
 #include "mlir/Dialect/SMT/IR/SMTOps.h"
-#include "mlir/CAPI/Registration.h"
 
 using namespace mlir;
 using namespace smt;

``````````

</details>


https://github.com/llvm/llvm-project/pull/135501