diff --git a/include/revng/Support/CAttributes.h b/include/revng/PTML/CAttributes.h
similarity index 100%
rename from include/revng/Support/CAttributes.h
rename to include/revng/PTML/CAttributes.h
diff --git a/lib/HeadersGeneration/HelpersToHeader.cpp b/lib/HeadersGeneration/HelpersToHeader.cpp
index a541b4e9d..364837f50 100644
--- a/lib/HeadersGeneration/HelpersToHeader.cpp
+++ b/lib/HeadersGeneration/HelpersToHeader.cpp
@@ -19,12 +19,12 @@
 #include "revng/HeadersGeneration/PTMLHeaderBuilder.h"
 #include "revng/Model/Binary.h"
 #include "revng/Model/FunctionTags.h"
+#include "revng/PTML/CAttributes.h"
 #include "revng/PTML/CBuilder.h"
 #include "revng/PTML/IndentedOstream.h"
 #include "revng/Pipeline/Location.h"
 #include "revng/Pipes/Ranks.h"
 #include "revng/Support/Assert.h"
-#include "revng/Support/CAttributes.h"
 #include "revng/Support/Debug.h"
 #include "revng/TypeNames/LLVMTypeNames.h"
 
diff --git a/lib/ImportFromC/HeaderToModel.cpp b/lib/ImportFromC/HeaderToModel.cpp
index 8a71e0ef5..1bcd0744a 100644
--- a/lib/ImportFromC/HeaderToModel.cpp
+++ b/lib/ImportFromC/HeaderToModel.cpp
@@ -9,9 +9,9 @@
 
 #include "revng/ABI/ModelHelpers.h"
 #include "revng/Model/Processing.h"
+#include "revng/PTML/CAttributes.h"
 #include "revng/PTML/CBuilder.h"
 #include "revng/Pipes/Ranks.h"
-#include "revng/Support/CAttributes.h"
 #include "revng/Support/Debug.h"
 #include "revng/TypeNames/ModelCBuilder.h"
 
diff --git a/lib/Model/NameBuilder.cpp b/lib/Model/NameBuilder.cpp
index fa48e4672..a09ac10d8 100644
--- a/lib/Model/NameBuilder.cpp
+++ b/lib/Model/NameBuilder.cpp
@@ -6,7 +6,7 @@
 
 #include "revng/Model/Binary.h"
 #include "revng/Model/NameBuilder.h"
-#include "revng/Support/CAttributes.h"
+#include "revng/PTML/CAttributes.h"
 #include "revng/Support/Identifier.h"
 #include "revng/Support/ResourceFinder.h"
 #include "revng/Support/YAMLTraits.h"
diff --git a/lib/TypeNames/ModelTypeNames.cpp b/lib/TypeNames/ModelTypeNames.cpp
index 79fafc52c..f470d02d9 100644
--- a/lib/TypeNames/ModelTypeNames.cpp
+++ b/lib/TypeNames/ModelTypeNames.cpp
@@ -22,13 +22,13 @@
 #include "revng/Model/Helpers.h"
 #include "revng/Model/PointerType.h"
 #include "revng/Model/RawFunctionDefinition.h"
+#include "revng/PTML/CAttributes.h"
 #include "revng/PTML/CBuilder.h"
 #include "revng/PTML/Constants.h"
 #include "revng/PTML/Tag.h"
 #include "revng/Pipeline/Location.h"
 #include "revng/Pipes/Ranks.h"
 #include "revng/Support/Assert.h"
-#include "revng/Support/CAttributes.h"
 #include "revng/TypeNames/LLVMTypeNames.h"
 #include "revng/TypeNames/ModelCBuilder.h"
 
diff --git a/lib/TypeNames/TypePrinters.cpp b/lib/TypeNames/TypePrinters.cpp
index 83fcac921..c7477e49a 100644
--- a/lib/TypeNames/TypePrinters.cpp
+++ b/lib/TypeNames/TypePrinters.cpp
@@ -5,7 +5,7 @@
 #include "llvm/ADT/PostOrderIterator.h"
 
 #include "revng/ABI/FunctionType/Layout.h"
-#include "revng/Support/CAttributes.h"
+#include "revng/PTML/CAttributes.h"
 #include "revng/TypeNames/ModelCBuilder.h"
 
 using T = model::TypeDefinition;