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))