From e400c1703a9bcd397d5d66829f2440ce365ce552 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Thu, 28 Jan 2016 15:30:41 -0500
Subject: [PATCH] stockholm no longer has vboxnet0.

---
 demo-config.rkt | 1 -
 1 file changed, 1 deletion(-)

diff --git a/demo-config.rkt b/demo-config.rkt
index 1740e58..1fe0ff7 100644
--- a/demo-config.rkt
+++ b/demo-config.rkt
@@ -20,7 +20,6 @@
                        (assertion (host-route (bytes 192 168 1 222) 24 "wlan0")))]
            ["stockholm.ccs.neu.edu"
             (scn/union (assertion (host-route (bytes 129 10 115 94) 24 "eth0"))
-                       (assertion (host-route (bytes 192 168 56 222) 24 "vboxnet0"))
                        (assertion (gateway-route (bytes 0 0 0 0) 0 (bytes 129 10 115 1) "eth0")))]
            [else
             (error 'spawn-demo-config "No setup for hostname ~a" (gethostname))])))