From a3c2e31f01a3dbda2a14b3804ec20742822871b5 Mon Sep 17 00:00:00 2001
From: Brian Cain <bcain@hashicorp.com>
Date: Tue, 14 Apr 2020 14:09:38 -0700
Subject: [PATCH] Set default disk format for vmware_desktop

---
 plugins/kernel_v2/config/disk.rb | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/plugins/kernel_v2/config/disk.rb b/plugins/kernel_v2/config/disk.rb
index 2dc6a2909..c1e9595af 100644
--- a/plugins/kernel_v2/config/disk.rb
+++ b/plugins/kernel_v2/config/disk.rb
@@ -138,7 +138,7 @@ module VagrantPlugins
           if machine.provider_name == :virtualbox
             @disk_ext = "vdi"
           elsif machine.provider_name == :vmware_desktop
-            @disk_ext = nil
+            @disk_ext = "vmdk"
           elsif machine.provider_name == :hyperv
             @disk_ext = "vhdx"
           else