Update mlir/include/mlir-c/Target/ExportSMTLIB.h

Co-authored-by: Fehr Mathieu <[email protected]>

Author: makslevental

mlir/include/mlir-c/Target/ExportSMTLIB.h

@@ -22,7 +22,7 @@ extern "C" {
 /// Emits SMTLIB for the specified module using the provided callback and user
 /// data
 MLIR_CAPI_EXPORTED MlirLogicalResult
-mlirTranslateModuleSMTLIB(MlirModule, MlirStringCallback, void *userData,
+mlirTranslateModuleToSMTLIB(MlirModule, MlirStringCallback, void *userData,
                           bool inlineSingleUseValues, bool indentLetBody);
 
 MLIR_CAPI_EXPORTED MlirLogicalResult mlirTranslateOperationToSMTLIB(