summaryrefslogtreecommitdiffhomepage
path: root/options/options.hpp
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2018-01-18 12:28:25 +0100
committerStanislaw Halik <sthalik@misaki.pl>2018-01-18 12:34:58 +0100
commit364c1ecd8703dadaaa9c7479335e469b153a1be0 (patch)
treea2ba1f508c5007857d865cc06bb696de0e398038 /options/options.hpp
parent11ef6b48676c52a42a81f1f5ee021cb37e728800 (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.hpp2
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"