diff options
Diffstat (limited to 'server-tools/instance-manager/user_map.h')
| -rw-r--r-- | server-tools/instance-manager/user_map.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/server-tools/instance-manager/user_map.h b/server-tools/instance-manager/user_map.h index 126533119eb..ca9bc861bda 100644 --- a/server-tools/instance-manager/user_map.h +++ b/server-tools/instance-manager/user_map.h @@ -32,6 +32,7 @@ class User_map { public: + User_map() {} ~User_map(); int init(); |