diff --git a/src/plugins/eva/domains/cvalue/cvalue_specification.ml b/src/plugins/eva/legacy/logic_inout.ml
similarity index 100%
rename from src/plugins/eva/domains/cvalue/cvalue_specification.ml
rename to src/plugins/eva/legacy/logic_inout.ml
diff --git a/src/plugins/eva/domains/cvalue/cvalue_specification.mli b/src/plugins/eva/legacy/logic_inout.mli
similarity index 100%
rename from src/plugins/eva/domains/cvalue/cvalue_specification.mli
rename to src/plugins/eva/legacy/logic_inout.mli