diff --git a/src/compiler/server.ml b/src/compiler/server.ml index 74ab72a6bbd..8feccc43b6c 100644 --- a/src/compiler/server.ml +++ b/src/compiler/server.ml @@ -229,6 +229,7 @@ let get_changed_directories sctx com = let full_typing com m_extra = com.is_macro_context || com.display.dms_full_typing + || Define.defined com.defines Define.DisableHxbCache || Define.defined com.defines Define.DisableHxbOptimizations || DisplayPosition.display_position#is_in_file (Path.UniqueKey.lazy_key m_extra.m_file)