From 494706bd6044ef3564cdacc8139660f93bec7861 Mon Sep 17 00:00:00 2001
From: Nate Foster <jnfoster@cs.cornell.edu>
Date: Tue, 17 Apr 2018 21:10:41 -0400
Subject: [PATCH] Delete DEFAULT_SERVER_URL (#135)

---
 P4D2_2018_East/vm/Vagrantfile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/P4D2_2018_East/vm/Vagrantfile b/P4D2_2018_East/vm/Vagrantfile
index 10da283..46792ee 100644
--- a/P4D2_2018_East/vm/Vagrantfile
+++ b/P4D2_2018_East/vm/Vagrantfile
@@ -1,8 +1,6 @@
 # -*- mode: ruby -*-
 # vi: set ft=ruby :
 
-Vagrant::DEFAULT_SERVER_URL.replace('https://vagrantcloud.com')
-
 Vagrant.configure(2) do |config|
   config.vm.box = "bento/ubuntu-16.04"
   config.vm.define "p4-tutorial" do |tutorial|