If you are using the VMWare Fusion or Workstation Providers with Vagrant, you are likely to have VirtualBox Installation left on your machine. At least that’s the case for me.
So if you’re annoyed about the Vagrant default behaviour
$ va status
Vagrant could not detect VirtualBox! Make sure VirtualBox is properly installed.
Vagrant uses the `VBoxManage` binary that ships with VirtualBox, and requires
this to be available on the PATH. If VirtualBox is installed, please find the
`VBoxManage` binary and add it to the PATH environmental variable.
I might be the last one to find out, but there is a Vagrant setting to override the default provider:
$ export VAGRANT_DEFAULT_PROVIDER=vmware_workstation # (or fusion)