From ea8889397b635e82615ecb94c12bf72689162303 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 21 Mar 2014 14:52:34 -0500 Subject: [PATCH] export consistent-with? --- .../redex-examples/redex/examples/benchmark/stlc/tests-lib.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/tests-lib.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/tests-lib.rkt index 3fc155b14a..f2f355868c 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/tests-lib.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/stlc/tests-lib.rkt @@ -1,6 +1,7 @@ #lang racket/base (require redex/reduction-semantics) -(provide stlc-tests) +(provide stlc-tests + consistent-with?) (define (consistent-with? t1 t2) (define table (make-hash))