From 234624cba4a0627ef273290fb1fe932c71bc4377 Mon Sep 17 00:00:00 2001
From: Danny Yoo <dyoo@cs.wpi.edu>
Date: Mon, 15 Aug 2011 18:15:25 -0400
Subject: [PATCH] pruning

---
 world/scratch/world/compiled/kernel_rkt.dep | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 world/scratch/world/compiled/kernel_rkt.dep

diff --git a/world/scratch/world/compiled/kernel_rkt.dep b/world/scratch/world/compiled/kernel_rkt.dep
deleted file mode 100644
index 63c7550..0000000
--- a/world/scratch/world/compiled/kernel_rkt.dep
+++ /dev/null
@@ -1 +0,0 @@
-("5.1.1" ("20b08da4180281e3468edf47b1d9c436989a35c2" . "c5c6223485c4a0496ad4df78dd013eb9a4700ebb") #"/home/dyoo/work/js-vm/world/../lang/js-impl/js-impl.rkt" (collects #"s-exp" #"lang" #"reader.rkt"))