diff --git 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
index bdb6ea2afe..c2dd883738 100644
--- 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))