diff options
author | Yuri Kunde Schlesner <yuriks@yuriks.net> | 2015-05-07 11:45:45 -0700 |
---|---|---|
committer | Yuri Kunde Schlesner <yuriks@yuriks.net> | 2015-05-07 11:45:45 -0700 |
commit | 4f4d230dac936f32cceb8be35fe09822d85bb2b6 (patch) | |
tree | a180a736708834708e0e5b95fd1720f37722b429 /src/core/core.cpp | |
parent | 337f1e1b96445b81c40c313b1bf680fe660f14f5 (diff) | |
parent | c956e8a6869d0ee1edd68a6ab880efa6bf1fbe70 (diff) |
Merge pull request #721 from yuriks/more-cleanups
More cleanups
Diffstat (limited to 'src/core/core.cpp')
-rw-r--r-- | src/core/core.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/core.cpp b/src/core/core.cpp index 81e642318..1c9680d41 100644 --- a/src/core/core.cpp +++ b/src/core/core.cpp @@ -3,6 +3,7 @@ // Refer to the license.txt file included. #include "common/common_types.h" +#include "common/logging/log.h" #include "core/core.h" #include "core/core_timing.h" |