From 10d957be1e2ba39a626fe1f0dc18145504f911b4 Mon Sep 17 00:00:00 2001 From: Burke Fetscher Date: Tue, 7 Oct 2014 21:56:04 -0500 Subject: [PATCH] fix redex benchmark dependencies --- .../redex/benchmark/models/rvm/verif-jdg.rkt | 8 ++------ 1 file changed, 2 insertions(+), 6 deletions(-) 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))