diff --git a/Makefile b/Makefile
index ce441718209b0f1d6807a27c896702c56b68c34f..eb2efbdf0cb2fe878096627a886bcbc637c3886c 100644
--- a/Makefile
+++ b/Makefile
@@ -860,7 +860,7 @@ PLUGIN_CMO:= partitioning/split_strategy value_parameters \
 	utils/value_perf utils/value_util utils/red_statuses \
 	utils/mark_noresults \
 	utils/widen_hints_ext utils/widen utils/partitioning_annots \
-	engine/split_return \
+	partitioning/split_return \
 	partitioning/per_stmt_slevel \
 	utils/library_functions \
 	utils/eval_typ utils/backward_formals \
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index b579f577c7de13517de32a9791d4e2713fd1856a..284ced425c9afb70da8f917aefcd5e167907f52e 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1227,8 +1227,6 @@ src/plugins/value/engine/partitioning_parameters.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/partitioning_parameters.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/recursion.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/recursion.mli: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/engine/split_return.ml: CEA_LGPL_OR_PROPRIETARY
-src/plugins/value/engine/split_return.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/subdivided_evaluation.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/subdivided_evaluation.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/engine/trace_partitioning.ml: CEA_LGPL_OR_PROPRIETARY
@@ -1265,6 +1263,8 @@ src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/per_stmt_slevel.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/per_stmt_slevel.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/partitioning/split_return.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/partitioning/split_return.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/split_strategy.ml: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/partitioning/split_strategy.mli: CEA_LGPL_OR_PROPRIETARY
 src/plugins/value/test.assert.sh: .ignore
diff --git a/src/plugins/value/engine/split_return.ml b/src/plugins/value/partitioning/split_return.ml
similarity index 100%
rename from src/plugins/value/engine/split_return.ml
rename to src/plugins/value/partitioning/split_return.ml
diff --git a/src/plugins/value/engine/split_return.mli b/src/plugins/value/partitioning/split_return.mli
similarity index 100%
rename from src/plugins/value/engine/split_return.mli
rename to src/plugins/value/partitioning/split_return.mli