From 050e48251c9fdc07c61d6beec33607787b33be2e Mon Sep 17 00:00:00 2001
From: Matthias Felleisen <matthias@ccs.neu.edu>
Date: Sun, 24 Nov 2013 19:10:11 -0500
Subject: [PATCH] forgot new net-lib dependency, please push into 6.0 (cherry
 picked from commit f1a0be94319e1929f7746f7adf542b8c770435b5)

---
 pkgs/htdp-pkgs/htdp-lib/info.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pkgs/htdp-pkgs/htdp-lib/info.rkt b/pkgs/htdp-pkgs/htdp-lib/info.rkt
index 9f40178271..9c0e33e401 100644
--- a/pkgs/htdp-pkgs/htdp-lib/info.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/info.rkt
@@ -14,6 +14,7 @@
     "html-lib"
     "images-lib"
     "images-gui-lib"
+    "net-lib"
     "pconvert-lib"
     "r5rs-lib"
     "sandbox-lib"