diff src/os_w32exe.c @ 1738:1ddec6983d9e v7.2.036

updated for version 7.2-036
author vimboss
date Wed, 12 Nov 2008 12:36:30 +0000
parents d6d6ca943713
children 4456fa2d22e8
line wrap: on
line diff
--- a/src/os_w32exe.c
+++ b/src/os_w32exe.c
@@ -129,7 +129,8 @@ WinMain(
 errout:
 #endif
     free(argv);
-    free(tofree);
+    if (tofree != NULL)
+	free(tofree);
 #ifdef FEAT_MBYTE
     free_cmd_argsW();
 #endif