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 4134017dd9b..ae3896dce44 100644 --- a/server-tools/instance-manager/user_map.h +++ b/server-tools/instance-manager/user_map.h @@ -33,6 +33,7 @@ class User_map { public: + User_map() {} ~User_map(); int init(); |