From 9882be35f1dd6ac04b30b45080ace6617aa63852 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Wed, 6 May 2020 11:23:00 -0700 Subject: [PATCH] move registerCheckers to backend/ Summary: This module needs to be above all checkers since it knows about all the checkers; put it at the same level of ondemand and callbacks. Reviewed By: ezgicicek Differential Revision: D21401821 fbshipit-source-id: f40dba6dd --- infer/src/{checkers => backend}/registerCheckers.ml | 0 infer/src/{checkers => backend}/registerCheckers.mli | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename infer/src/{checkers => backend}/registerCheckers.ml (100%) rename infer/src/{checkers => backend}/registerCheckers.mli (100%) 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