diff --git a/exec/load/gnatslib.js b/exec/load/gnatslib.js index 357b4af369929e8be65ad1444b27a3be9b2ed6f9..39efe8eaa561a6a765e38ff94381856b4d74763c 100644 --- a/exec/load/gnatslib.js +++ b/exec/load/gnatslib.js @@ -1,6 +1,6 @@ // $Id$ -if(!js.global || js.global.SOCK_STREAM==undefineD) +if(!js.global || js.global.SOCK_STREAM==undefined) load("sockdefs.js"); if(!js.global || js.global.mail_get_name==undefined) load("mailutil.js");