From cef2d83f758d33fc5304dc864a074ecf49957daa Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 30 Mar 2014 17:32:00 -0500 Subject: [PATCH] add missing require --- .../redex/examples/benchmark/rbtrees/rbtrees-1.rkt | 2 +- .../redex/examples/benchmark/rbtrees/rbtrees-2.rkt | 2 +- .../redex/examples/benchmark/rbtrees/rbtrees-3.rkt | 2 +- .../redex/examples/benchmark/rbtrees/rbtrees-base.rkt | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-1.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-1.rkt index 83715d33ff..10160d1eb1 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-1.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-1.rkt @@ -4,7 +4,7 @@ (require redex/reduction-semantics (only-in redex/private/generate-term pick-an-index) - racket/match) + racket/match racket/bool) (provide (all-defined-out)) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-2.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-2.rkt index 7fda3e7ed9..4f3025bb64 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-2.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-2.rkt @@ -4,7 +4,7 @@ (require redex/reduction-semantics (only-in redex/private/generate-term pick-an-index) - racket/match) + racket/match racket/bool) (provide (all-defined-out)) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-3.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-3.rkt index ab87bd5a50..611c47d003 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-3.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-3.rkt @@ -4,7 +4,7 @@ (require redex/reduction-semantics (only-in redex/private/generate-term pick-an-index) - racket/match) + racket/match racket/bool) (provide (all-defined-out)) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.rkt index 19d4bebdc7..2b254377f3 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/rbtrees/rbtrees-base.rkt @@ -4,7 +4,7 @@ (require redex/reduction-semantics (only-in redex/private/generate-term pick-an-index) - racket/match) + racket/match racket/bool) (provide (all-defined-out))