export consistent-with?

2014-03-21 14:52:34 -05:00 · 2014-03-21 14:52:34 -05:00 · ea8889397b
commit ea8889397b
parent 51651d2dc4
1 changed files with 2 additions and 1 deletions
--- 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))