From 35848a5284f71c93539af6f73d6e75cc9b0da239 Mon Sep 17 00:00:00 2001 From: Mehdi Bouaziz Date: Tue, 14 Aug 2018 07:21:01 -0700 Subject: [PATCH] Move 4 eradicate files Reviewed By: jeremydubreil Differential Revision: D9313639 fbshipit-source-id: d8e989a60 --- infer/src/{absint => eradicate}/Checkers.ml | 0 infer/src/{absint => eradicate}/Checkers.mli | 0 infer/src/{checkers => eradicate}/immutableChecker.ml | 0 infer/src/{checkers => eradicate}/immutableChecker.mli | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename infer/src/{absint => eradicate}/Checkers.ml (100%) rename infer/src/{absint => eradicate}/Checkers.mli (100%) rename infer/src/{checkers => eradicate}/immutableChecker.ml (100%) rename infer/src/{checkers => eradicate}/immutableChecker.mli (100%) diff --git a/infer/src/absint/Checkers.ml b/infer/src/eradicate/Checkers.ml similarity index 100% rename from infer/src/absint/Checkers.ml rename to infer/src/eradicate/Checkers.ml diff --git a/infer/src/absint/Checkers.mli b/infer/src/eradicate/Checkers.mli similarity index 100% rename from infer/src/absint/Checkers.mli rename to infer/src/eradicate/Checkers.mli diff --git a/infer/src/checkers/immutableChecker.ml b/infer/src/eradicate/immutableChecker.ml similarity index 100% rename from infer/src/checkers/immutableChecker.ml rename to infer/src/eradicate/immutableChecker.ml diff --git a/infer/src/checkers/immutableChecker.mli b/infer/src/eradicate/immutableChecker.mli similarity index 100% rename from infer/src/checkers/immutableChecker.mli rename to infer/src/eradicate/immutableChecker.mli