From 05174e8a950fd13826164ee8c832448f23a0c969 Mon Sep 17 00:00:00 2001
From: Andy Fingerhut <andy_fingerhut@alum.wustl.edu>
Date: Thu, 12 Mar 2020 18:54:15 -0700
Subject: [PATCH] Change Vagrantfile to use a currently-existing Ubuntu Linux
 image (#336)

---
 vm/Vagrantfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vm/Vagrantfile b/vm/Vagrantfile
index b27b588..46792ee 100644
--- a/vm/Vagrantfile
+++ b/vm/Vagrantfile
@@ -2,7 +2,7 @@
 # vi: set ft=ruby :
 
 Vagrant.configure(2) do |config|
-  config.vm.box = "lasp/ubuntu16.04-desktop"
+  config.vm.box = "bento/ubuntu-16.04"
   config.vm.define "p4-tutorial" do |tutorial|
   end
   config.vm.provider "virtualbox" do |vb|