1 files changed, 4 insertions, 2 deletions
diff --git a/otherlibs/labltk/browser/winmain.c b/otherlibs/labltk/browser/winmain.c
index 8a81f6f1b..6805ecfcd 100644
--- a/otherlibs/labltk/browser/winmain.c
+++ b/otherlibs/labltk/browser/winmain.c
@@ -1,10 +1,12 @@
 #include <callback.h>
 #include <windows.h>
+extern int __argc;
 extern char **__argv;
+extern void expand_command_line (int *, char ***);
+extern void caml_main (char **);
 
 int WINAPI WinMain(HINSTANCE h, HINSTANCE HPrevInstance,
                    LPSTR lpCmdLine, int nCmdShow)
 {
-  caml_main(__argv);
-  return 0;
+  return main(__argc, __argv);
 }