VCCWのvagrant upコマンドが上手く行かなかった

vagrant up

のコマンドを実行したところ、

The machine with the name 'vccw.dev' was not found configured for
this Vagrant environment.

というエラーを吐きました。 先輩に一切を任せてしまったので具体的な解決策は書けないのですが、過去の実行した履歴（？）のようなものが残っており、それを削除して再実行したところ、上手くいきました。