Two more #lang racket' -> #lang racket/base'.

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)

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