1 files changed, 0 insertions, 18 deletions
diff --git a/otherlibs/labltk/browser/winmain.c b/otherlibs/labltk/browser/winmain.c
deleted file mode 100644
index d36f6786f9..0000000000
--- a/otherlibs/labltk/browser/winmain.c
+++ /dev/null
@@ -1,18 +0,0 @@
-#include <windows.h>
-#include <mlvalues.h>
-#include <callback.h>
-#include <sys.h>
-
-extern int __argc;
-extern char **__argv;
-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)
-{
-  expand_command_line(&__argc, &__argv);
-  caml_main(__argv);
-  sys_exit(Val_int(0));
-  return 0;
-}