From 9463b2570205ed25a0c96eb7ed253c2b85c29dc2 Mon Sep 17 00:00:00 2001 From: Nikos Gorogiannis Date: Mon, 28 Jan 2019 07:02:46 -0800 Subject: [PATCH] [classloads] move sources to more appropriate location Reviewed By: mbouaziz Differential Revision: D13838506 fbshipit-source-id: 249806ad2 --- infer/src/{concurrency => checkers}/classLoads.ml | 0 infer/src/{concurrency => checkers}/classLoads.mli | 0 infer/src/{concurrency => checkers}/classLoadsDomain.ml | 0 infer/src/{concurrency => checkers}/classLoadsDomain.mli | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename infer/src/{concurrency => checkers}/classLoads.ml (100%) rename infer/src/{concurrency => checkers}/classLoads.mli (100%) rename infer/src/{concurrency => checkers}/classLoadsDomain.ml (100%) rename infer/src/{concurrency => checkers}/classLoadsDomain.mli (100%) diff --git a/infer/src/concurrency/classLoads.ml b/infer/src/checkers/classLoads.ml similarity index 100% rename from infer/src/concurrency/classLoads.ml rename to infer/src/checkers/classLoads.ml diff --git a/infer/src/concurrency/classLoads.mli b/infer/src/checkers/classLoads.mli similarity index 100% rename from infer/src/concurrency/classLoads.mli rename to infer/src/checkers/classLoads.mli diff --git a/infer/src/concurrency/classLoadsDomain.ml b/infer/src/checkers/classLoadsDomain.ml similarity index 100% rename from infer/src/concurrency/classLoadsDomain.ml rename to infer/src/checkers/classLoadsDomain.ml diff --git a/infer/src/concurrency/classLoadsDomain.mli b/infer/src/checkers/classLoadsDomain.mli similarity index 100% rename from infer/src/concurrency/classLoadsDomain.mli rename to infer/src/checkers/classLoadsDomain.mli