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