diff --git a/infer/src/checkers/eradicate.ml b/infer/src/eradicate/eradicate.ml
similarity index 100%
rename from infer/src/checkers/eradicate.ml
rename to infer/src/eradicate/eradicate.ml
diff --git a/infer/src/checkers/eradicate.mli b/infer/src/eradicate/eradicate.mli
similarity index 100%
rename from infer/src/checkers/eradicate.mli
rename to infer/src/eradicate/eradicate.mli
diff --git a/infer/src/checkers/eradicateChecks.ml b/infer/src/eradicate/eradicateChecks.ml
similarity index 100%
rename from infer/src/checkers/eradicateChecks.ml
rename to infer/src/eradicate/eradicateChecks.ml
diff --git a/infer/src/checkers/modelTables.ml b/infer/src/eradicate/modelTables.ml
similarity index 100%
rename from infer/src/checkers/modelTables.ml
rename to infer/src/eradicate/modelTables.ml
diff --git a/infer/src/checkers/modelTables.mli b/infer/src/eradicate/modelTables.mli
similarity index 100%
rename from infer/src/checkers/modelTables.mli
rename to infer/src/eradicate/modelTables.mli
diff --git a/infer/src/checkers/models.ml b/infer/src/eradicate/models.ml
similarity index 100%
rename from infer/src/checkers/models.ml
rename to infer/src/eradicate/models.ml
diff --git a/infer/src/checkers/typeAnnotation.ml b/infer/src/eradicate/typeAnnotation.ml
similarity index 100%
rename from infer/src/checkers/typeAnnotation.ml
rename to infer/src/eradicate/typeAnnotation.ml
diff --git a/infer/src/checkers/typeAnnotation.mli b/infer/src/eradicate/typeAnnotation.mli
similarity index 100%
rename from infer/src/checkers/typeAnnotation.mli
rename to infer/src/eradicate/typeAnnotation.mli
diff --git a/infer/src/checkers/typeCheck.ml b/infer/src/eradicate/typeCheck.ml
similarity index 100%
rename from infer/src/checkers/typeCheck.ml
rename to infer/src/eradicate/typeCheck.ml
diff --git a/infer/src/checkers/typeCheck.mli b/infer/src/eradicate/typeCheck.mli
similarity index 100%
rename from infer/src/checkers/typeCheck.mli
rename to infer/src/eradicate/typeCheck.mli
diff --git a/infer/src/checkers/typeErr.ml b/infer/src/eradicate/typeErr.ml
similarity index 100%
rename from infer/src/checkers/typeErr.ml
rename to infer/src/eradicate/typeErr.ml
diff --git a/infer/src/checkers/typeErr.mli b/infer/src/eradicate/typeErr.mli
similarity index 100%
rename from infer/src/checkers/typeErr.mli
rename to infer/src/eradicate/typeErr.mli
diff --git a/infer/src/checkers/typeOrigin.ml b/infer/src/eradicate/typeOrigin.ml
similarity index 100%
rename from infer/src/checkers/typeOrigin.ml
rename to infer/src/eradicate/typeOrigin.ml
diff --git a/infer/src/checkers/typeOrigin.mli b/infer/src/eradicate/typeOrigin.mli
similarity index 100%
rename from infer/src/checkers/typeOrigin.mli
rename to infer/src/eradicate/typeOrigin.mli
diff --git a/infer/src/checkers/typeState.ml b/infer/src/eradicate/typeState.ml
similarity index 100%
rename from infer/src/checkers/typeState.ml
rename to infer/src/eradicate/typeState.ml
diff --git a/infer/src/checkers/typeState.mli b/infer/src/eradicate/typeState.mli
similarity index 100%
rename from infer/src/checkers/typeState.mli
rename to infer/src/eradicate/typeState.mli