diff options
Diffstat (limited to 'src/user_interface.hh')
| -rw-r--r-- | src/user_interface.hh | 4 |
1 files changed, 2 insertions, 2 deletions
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 <functional> @@ -67,7 +67,7 @@ public: virtual void set_input_callback(InputCallback callback) = 0; - using Options = UnorderedMap<String, String, MemoryDomain::Options>; + using Options = IdMap<String, MemoryDomain::Options>; virtual void set_ui_options(const Options& options) = 0; }; |