1 files changed, 9 insertions, 3 deletions
diff --git a/otherlibs/labltk/browser/winmain.c b/otherlibs/labltk/browser/winmain.c
index 6805ecfcd..d36f6786f 100644
--- a/otherlibs/labltk/browser/winmain.c
+++ b/otherlibs/labltk/browser/winmain.c
@@ -1,12 +1,18 @@
-#include <callback.h>
 #include <windows.h>
+#include <mlvalues.h>
+#include <callback.h>
+#include <sys.h>
+
 extern int __argc;
 extern char **__argv;
-extern void expand_command_line (int *, char ***);
+extern void expand_command_line(int * argcp, char *** argvp);
 extern void caml_main (char **);
 
 int WINAPI WinMain(HINSTANCE h, HINSTANCE HPrevInstance,
                    LPSTR lpCmdLine, int nCmdShow)
 {
-  return main(__argc, __argv);
+  expand_command_line(&__argc, &__argv);
+  caml_main(__argv);
+  sys_exit(Val_int(0));
+  return 0;
 }