diff options
author | Stanislaw Halik <sthalik@misaki.pl> | 2018-01-18 12:28:25 +0100 |
---|---|---|
committer | Stanislaw Halik <sthalik@misaki.pl> | 2018-01-18 12:34:58 +0100 |
commit | 364c1ecd8703dadaaa9c7479335e469b153a1be0 (patch) | |
tree | a2ba1f508c5007857d865cc06bb696de0e398038 /options/options.hpp | |
parent | 11ef6b48676c52a42a81f1f5ee021cb37e728800 (diff) |
compat: split/cleanup util.hpp
Some of the headers are clearly useless. Remove them.
Move what's inside util.hpp into separate headers.
Adjust usages.
Will remove util.hpp.
Diffstat (limited to 'options/options.hpp')
-rw-r--r-- | options/options.hpp | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/options/options.hpp b/options/options.hpp index 0528b0d9..45697597 100644 --- a/options/options.hpp +++ b/options/options.hpp @@ -6,8 +6,6 @@ */ #pragma once -#include "compat/ndebug-guard.hpp" - #include "compat/util.hpp" #include "defs.hpp" |