From f958c262cd9e2fda06ae5c65f71658d1733dfe91 Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Sat, 15 Jun 2013 04:35:44 -0400
Subject: [PATCH] Distribute realm.

(cherry picked from commit 0b50080cd14ca5471a28392736d7a6f528df1787)
---
 collects/meta/dist-specs.rkt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/meta/dist-specs.rkt b/collects/meta/dist-specs.rkt
index 0444b1c72a..8b27349938 100644
--- a/collects/meta/dist-specs.rkt
+++ b/collects/meta/dist-specs.rkt
@@ -597,6 +597,7 @@ plt-extras :+=
   (- (package: "2htdp/")
      "uchat/") ; Matthias doesn't want this in now
   (package: "test-engine/")
+  (package: "realm")
 
 ;; -------------------- math
 dr-extras :+= (package: "math") (get-libs: math)