title: Vagrant Config Error - "A box must be specified."
body: <p>The boxes were working fine. Then I halted one (the only one running at the time) and now I can't get either of them back up.</p>
  
  <hr>
  
  <p>Running <code>vagrant up [name]</code> gives me the following error, regardless of which I pick or whether I leave it at <code>vagrant up</code> for them both to come up:</p>
  
  <pre><code>There are errors in the configuration of this machine. Please fix
  the following errors and try again:
  
  vm:
  * A box must be specified.
  </code></pre>
  
  <p>Running latest version of Vagrant (1.7.4).</p>
  
  <p>Here is my Vagrantfile in its entirety, comments included (just in case):</p>
  
  <pre><code># Search for boxes here: https://atlas.hashicorp.com/boxes/search
  # Refer to commands_vagrant.txt for command reference
  
  Vagrant.configure("2") do |config|
  
      # Globally defined variables
      config.vm.synced_folder "./", "/var/www/public"
  
      # CentOS 6.5, Apache 2.2.15, MySQL 5.5.36 (-u root), PHP 5.3.28
      # Note: If PHP session keys don't work, set permissions to 777 (or other more restrictive, but this is guaranteed to work) on /var/lib/php/session
      config.vm.define "php5dot3", primary: true do |php5dot3|
          config.vm.box = "smallhadroncollider/centos-6.5-lamp"
          config.vm.network :forwarded_port, guest: 80, host: 4567
      end
  
      # Ubuntu 14.04 (SSH pw: vagrant), Apache 2.4.12, MySQL 5.5.43 (-u root -p root), PHP 5.6.10
      config.vm.define "php5dot6" do |php5dot6|
          config.vm.box = "scotch/box"
          config.vm.network :forwarded_port, guest: 80, host: 4568
      end
  
  end
  </code></pre>
  
  <hr>
  
  <p>Result of running <code>vagrant status</code>:</p>
  
  <pre><code>Current machine states:
  
  php5dot3                  poweroff (virtualbox)
  php5dot6                  poweroff (virtualbox)
  </code></pre>
  
  <hr>
  
  <p>Result of running <code>vagrant global-status</code>:</p>
  
  <pre><code>id       name     provider   state    directory                           
  --------------------------------------------------------------------------
  e1f3c85  default  virtualbox poweroff /home/sam/Web                       
  c588d51  php5dot6 virtualbox poweroff /home/sam/Web                       
  4e71c50  php5dot3 virtualbox poweroff /home/sam/Web    
  </code></pre>
  
  <p>'default' was the singular box I had in my Vagrantfile before I got multi-machines working last week. (Relevant?)</p>
  
  <hr>
  
  <p>Result of running <code>vagrant box list</code>:</p>
  
  <pre><code>scotch/box                          (virtualbox, 2.0)
  smallhadroncollider/centos-6.5-lamp (virtualbox, 1.0.0)
  </code></pre>
  
  <hr>
  
  <p>Any help would be appreciated, thanks.</p>