diff --git a/include/revng/CliftEmitC/CBackend.h b/include/revng/CliftEmitC/CBackend.h
index 6647bfd15..0c6d8a447 100644
--- a/include/revng/CliftEmitC/CBackend.h
+++ b/include/revng/CliftEmitC/CBackend.h
@@ -9,6 +9,5 @@
 
 #include "revng/Clift/Clift.h"
 #include "revng/PTML/CTokenEmitter.h"
-#include "revng/Support/CDataModel.h"
 
 void decompile(clift::FunctionOp Function, ptml::CTokenEmitter &Emitter);
diff --git a/include/revng/CliftEmitC/CSemantics.h b/include/revng/CliftEmitC/CSemantics.h
index d2b9b108d..dcc322198 100644
--- a/include/revng/CliftEmitC/CSemantics.h
+++ b/include/revng/CliftEmitC/CSemantics.h
@@ -5,7 +5,6 @@
 //
 
 #include "revng/Clift/Clift.h"
-#include "revng/Support/CDataModel.h"
 
 // TODO: does this really belong with the emitters?