Fix formatting

Author: rolfmorel

mlir/include/mlir/Dialect/Transform/SMTExtension/SMTExtensionOps.h

@@ -18,5 +18,4 @@
 #define GET_OP_CLASSES
 #include "mlir/Dialect/Transform/SMTExtension/SMTExtensionOps.h.inc"
 
-
 #endif // MLIR_DIALECT_TRANSFORM_SMTEXTENSION_SMTEXTENSIONOPS_H

mlir/lib/Bindings/Python/DialectSMT.cpp

@@ -42,12 +42,12 @@ static void populateDialectSMTSubmodule(nanobind::module_ &m) {
               },
               "cls"_a, "width"_a, "context"_a = nb::none());
   auto smtIntType = mlir_type_subclass(m, "IntType", mlirSMTTypeIsAInt)
-                         .def_classmethod(
-                             "get",
-                             [](const nb::object &, MlirContext context) {
-                               return mlirSMTTypeGetInt(context);
-                             },
-                             "cls"_a, "context"_a.none() = nb::none());
+                        .def_classmethod(
+                            "get",
+                            [](const nb::object &, MlirContext context) {
+                              return mlirSMTTypeGetInt(context);
+                            },
+                            "cls"_a, "context"_a.none() = nb::none());
 
   auto exportSMTLIB = [](MlirOperation module, bool inlineSingleUseValues,
                          bool indentLetBody) {

mlir/python/mlir/dialects/transform/smt.py

@@ -14,6 +14,7 @@
 except ImportError as e:
     raise RuntimeError("Error loading imports from extension module") from e
 
+
 @_ods_cext.register_operation(_Dialect, replace=True)
 class ConstrainParamsOp(ConstrainParamsOp):
     def __init__(