diff options
Diffstat (limited to 'server-tools/instance-manager/user_map.h')
| -rw-r--r-- | server-tools/instance-manager/user_map.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/server-tools/instance-manager/user_map.h b/server-tools/instance-manager/user_map.h index dcd2fd1494d..4c86edd93d9 100644 --- a/server-tools/instance-manager/user_map.h +++ b/server-tools/instance-manager/user_map.h @@ -17,10 +17,11 @@ Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA */ #ifdef __GNUC__ -#pragma interface +#pragma interface #endif #include <my_global.h> + #include <my_sys.h> #include <hash.h> |