We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5cd0d3c commit a74cf81Copy full SHA for a74cf81
mlir/lib/Bindings/Python/DialectSMT.cpp
@@ -24,7 +24,7 @@ using namespace mlir;
24
using namespace mlir::python;
25
using namespace mlir::python::nanobind_adaptors;
26
27
-void populateDialectSMTSubmodule(nanobind::module_ &m) {
+static void populateDialectSMTSubmodule(nanobind::module_ &m) {
28
29
auto smtBoolType = mlir_type_subclass(m, "BoolType", mlirSMTTypeIsABool)
30
.def_classmethod(
0 commit comments