From 8dacc2df94930cded7146dac8e6785277dbf9799 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Tue, 16 May 2017 09:58:38 -0700 Subject: [PATCH] [build] move ctl_parse_types.mli to the right place Summary: Interestingly, this crashes the build in a vagrant vm: ``` [*ERROR**][2799] findlib: [WARNING] Interface ctl_parser_types.cmi occurs in several directories: ., clang [*ERROR**][2799] File "clang/ComponentKit.ml", line 1: [*ERROR**][2799] Error: The files ctl_parser_types.cmi and clang/cFrontend_checkers.cmi [*ERROR**][2799] make inconsistent assumptions over interface Ctl_parser_types [*ERROR**][2799] Command exited with code 2. ``` Reviewed By: mbouaziz Differential Revision: D5070024 fbshipit-source-id: 01f83fc --- infer/src/{ => clang}/ctl_parser_types.mli | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename infer/src/{ => clang}/ctl_parser_types.mli (100%) diff --git a/infer/src/ctl_parser_types.mli b/infer/src/clang/ctl_parser_types.mli similarity index 100% rename from infer/src/ctl_parser_types.mli rename to infer/src/clang/ctl_parser_types.mli