diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index 1af383628305ad5473354fdc8a5e75efb7f53714..d50c394007b8a03fb61946d7712928981a191f3f 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1105,6 +1105,8 @@ src/plugins/server/server_parameters.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/server/server_parameters.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/server/server_batch.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/server/server_zmq.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/server/states.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/server/states.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/server/syntax.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/server/syntax.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/scope/Scope.mli: CEA_LGPL_OR_PROPRIETARY
diff --git a/src/plugins/server/Makefile.in b/src/plugins/server/Makefile.in
index 8ea6491e50333f7a094429ae7b90df01e18bec97..69919ab5d303fad4ab9ae6a2dfc266e5943c88ed 100644
--- a/src/plugins/server/Makefile.in
+++ b/src/plugins/server/Makefile.in
@@ -77,7 +77,7 @@ include $(FRAMAC_SHARE)/Makefile.dynamic
 ##############
 
 SERVER_API= \
-	doc.mli syntax.mli data.mli request.mli
+	doc.mli syntax.mli data.mli request.mli states.mli
 
 define Capitalize
 $(shell printf "%s%s" \