From 575fd04a6eec497db02192c5366572271e4773aa Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 22 May 2018 02:11:31 -0700 Subject: [PATCH] [build] move testDeterminator.mli too Summary: The deadcode checker is poorly written and as a result is more useful than intended! Reviewed By: mbouaziz Differential Revision: D8088654 fbshipit-source-id: 19a94b8 --- infer/src/{java => integration}/testDeterminator.mli | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename infer/src/{java => integration}/testDeterminator.mli (100%) diff --git a/infer/src/java/testDeterminator.mli b/infer/src/integration/testDeterminator.mli similarity index 100% rename from infer/src/java/testDeterminator.mli rename to infer/src/integration/testDeterminator.mli