fix redex benchmark dependencies

2014-10-07 21:56:04 -05:00 · 2014-10-07 21:56:04 -05:00 · 10d957be1e
commit 10d957be1e
parent b1ca4340c5
1 changed files with 2 additions and 6 deletions
--- a/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/models/rvm/verif-jdg.rkt
+++ b/pkgs/redex-pkgs/redex-benchmark/redex/benchmark/models/rvm/verif-jdg.rkt
@ -1,11 +1,7 @@
 #lang racket

-(require redex/reduction-semantics)
-(require "jdg-grammar.rkt")
-
-(require redex/private/gen-trace
-         (only-in redex/private/generate-term
-                  enable-gen-trace!))
+(require redex/reduction-semantics 
+         "jdg-grammar.rkt")

 (provide (all-defined-out))