diff --git a/coreconf/coreconf.dep b/coreconf/coreconf.dep index 5182f75552..590d1bfaee 100644 --- a/coreconf/coreconf.dep +++ b/coreconf/coreconf.dep @@ -10,3 +10,4 @@ */ #error "Do not include this header file." +