From c326c21b73356e4779bf2973fe4afb445b917d95 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 14 Oct 2014 16:54:49 -0500 Subject: [PATCH] fix "redex-doc" dependencies (cherry picked from commit d3950e1f0947cd55c59d945944e3ef481a1c3138) --- pkgs/redex-pkgs/redex-doc/info.rkt | 1 - pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt | 4 +--- 2 files changed, 1 insertion(+), 4 deletions(-) diff --git a/pkgs/redex-pkgs/redex-doc/info.rkt b/pkgs/redex-pkgs/redex-doc/info.rkt index dc92c2750d..5f57d5b213 100644 --- a/pkgs/redex-pkgs/redex-doc/info.rkt +++ b/pkgs/redex-pkgs/redex-doc/info.rkt @@ -15,7 +15,6 @@ "pict-lib" "redex-gui-lib" "redex-benchmark" - "math-lib" "rackunit-lib")) (define pkg-desc "documentation part of \"redex\"") diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt b/pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt index f0355af946..100ad45f9a 100644 --- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt +++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/bug-info.rkt @@ -1,5 +1,4 @@ -#lang racket -(require math/statistics) +#lang racket/base (provide get-line-count get-counterexample @@ -188,4 +187,3 @@ (check-equal? (count-size '((1))) 3) (check-equal? (count-size '((1) (1))) 5) (check-equal? (count-size '((1) (1) (1) (1 1 1 1 1 1))) 14)) -