From 73c0fa175ed7016ffe2980b29d090de770718efa Mon Sep 17 00:00:00 2001 From: Maxime Coste Date: Wed, 16 Sep 2015 19:04:19 +0100 Subject: Use IdMap instead of UnorderedMap for ui options and env vars --- src/user_interface.hh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/user_interface.hh') diff --git a/src/user_interface.hh b/src/user_interface.hh index 5f87d58b..daae4f9d 100644 --- a/src/user_interface.hh +++ b/src/user_interface.hh @@ -3,7 +3,7 @@ #include "array_view.hh" #include "safe_ptr.hh" -#include "unordered_map.hh" +#include "id_map.hh" #include @@ -67,7 +67,7 @@ public: virtual void set_input_callback(InputCallback callback) = 0; - using Options = UnorderedMap; + using Options = IdMap; virtual void set_ui_options(const Options& options) = 0; }; -- cgit v1.2.3