diff --git a/src/plugins/region/insert.ml b/src/plugins/region/code.ml
similarity index 100%
rename from src/plugins/region/insert.ml
rename to src/plugins/region/code.ml
diff --git a/src/plugins/region/insert.mli b/src/plugins/region/code.mli
similarity index 100%
rename from src/plugins/region/insert.mli
rename to src/plugins/region/code.mli