From 33e38bba2fb5131071c92ea666fc4849e2471648 Mon Sep 17 00:00:00 2001 From: Kalman Date: Sat, 29 Sep 2018 16:36:14 +0800 Subject: [PATCH] Update option_supports_map --- src/internal/channels.cc | 19 +++++++------------ src/internal/config.cc | 8 +++++--- src/internal/motions.cc | 4 ++-- tools/dataset/record.cc | 17 ----------------- 4 files changed, 14 insertions(+), 34 deletions(-) diff --git a/src/internal/channels.cc b/src/internal/channels.cc index 0462ef2..bf65f1e 100644 --- a/src/internal/channels.cc +++ b/src/internal/channels.cc @@ -143,32 +143,27 @@ void Channels::LogControlInfos() const { } void Channels::UpdateControlInfos() { - /* - for (auto &&option : std::vector