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

[Martin Erhart]

================
@@ -0,0 +1,27 @@
+//===- MLIR-c/ExportSMTLIB.h - C API for emitting SMTLIB ---------*- C -*-===//
+//
+// This header declares the C interface for emitting SMTLIB from a MLIR MLIR
+// module.
----------------
maerhart wrote:

Shouldn't here be the license header instead?

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