diff --git a/include/revng/CliftEmitC/Headers.h b/include/revng/CliftEmitC/Headers.h index 23d75a34a..2fd94b648 100644 --- a/include/revng/CliftEmitC/Headers.h +++ b/include/revng/CliftEmitC/Headers.h @@ -10,6 +10,9 @@ #include "revng/CliftEmitC/Configuration.h" #include "revng/PTML/CTokenEmitter.h" +void emitCommonIncludes(ptml::CTokenEmitter &Tokens, + const CDataModel &DataModel); + void emitTypeAndGlobalHeader(ptml::CTokenEmitter &Tokens, mlir::ModuleOp Module, TypeEmitterConfiguration Configuration, diff --git a/lib/CliftEmitC/Headers.cpp b/lib/CliftEmitC/Headers.cpp index 9570e16bb..18d7627d9 100644 --- a/lib/CliftEmitC/Headers.cpp +++ b/lib/CliftEmitC/Headers.cpp @@ -235,6 +235,12 @@ public: } }; +void emitCommonIncludes(ptml::CTokenEmitter &Tokens, + const CDataModel &DataModel) { + CHeaderEmitterImpl Emitter(Tokens, DataModel, TypeEmitterConfiguration{}); + Emitter.emitCommonIncludes(); +} + void emitTypeAndGlobalHeader(ptml::CTokenEmitter &Tokens, mlir::ModuleOp Module, TypeEmitterConfiguration Configuration,