From 1e55f71f8a58da1f9600c40c1bece74b929f419e Mon Sep 17 00:00:00 2001
From: Eli Barzilay <eli@barzilay.org>
Date: Wed, 7 Nov 2012 11:34:33 -0500
Subject: [PATCH] Two more `#lang racket' -> `#lang racket/base'.

---
 collects/2htdp/private/clauses-spec-aux.rkt | 4 ++--
 collects/lang/private/sl-eval.rkt           | 3 ++-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/collects/2htdp/private/clauses-spec-aux.rkt b/collects/2htdp/private/clauses-spec-aux.rkt
index 28487df29a..b3837451e0 100644
--- a/collects/2htdp/private/clauses-spec-aux.rkt
+++ b/collects/2htdp/private/clauses-spec-aux.rkt
@@ -1,4 +1,4 @@
-#lang racket
+#lang racket/base
 
 ;; ---------------------------------------------------------------------------------------------------
 ;; provides constants and functions for specifying the shape of clauses in big-bang and universe 
@@ -6,7 +6,7 @@
 (provide nat> nat? proc> bool> num> ip> string> symbol> string-or-symbol> any> K False True)
 
 (require htdp/error "check-aux.rkt")
-                             
+
 (define (K w . r) w)
 (define (False w) #f)
 (define (True w) #t)
diff --git a/collects/lang/private/sl-eval.rkt b/collects/lang/private/sl-eval.rkt
index 106a37d158..84f7509797 100644
--- a/collects/lang/private/sl-eval.rkt
+++ b/collects/lang/private/sl-eval.rkt
@@ -1,6 +1,7 @@
-#lang racket
+#lang racket/base
 
 (require teachpack/2htdp/scribblings/img-eval
+         racket/pretty
          racket/sandbox
          mzlib/pconvert
          file/convertible