diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2015-01-14 19:16:32 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2015-01-14 19:16:32 +0000 |
| commit | 2a878d51fdfe5832a3b979dbc8e5b2144ad0d1f3 (patch) | |
| tree | f376771a56e794b92adc8efcd80127e5b81e8d49 /src/user_interface.hh | |
| parent | 442304bc1c3d74681beaef735631a62eecd5745f (diff) | |
Even more memory tracking
Diffstat (limited to 'src/user_interface.hh')
| -rw-r--r-- | src/user_interface.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/user_interface.hh b/src/user_interface.hh index a912b417..6734bf14 100644 --- a/src/user_interface.hh +++ b/src/user_interface.hh @@ -63,7 +63,7 @@ public: virtual void set_input_callback(InputCallback callback) = 0; - using Options = UnorderedMap<String, String>; + using Options = UnorderedMap<String, String, MemoryDomain::Options>; virtual void set_ui_options(const Options& options) = 0; }; |