diff --git a/infer/src/checkers/registerCheckers.ml b/infer/src/backend/registerCheckers.ml similarity index 100% rename from infer/src/checkers/registerCheckers.ml rename to infer/src/backend/registerCheckers.ml diff --git a/infer/src/checkers/registerCheckers.mli b/infer/src/backend/registerCheckers.mli similarity index 100% rename from infer/src/checkers/registerCheckers.mli rename to infer/src/backend/registerCheckers.mli