From a96ca295763f5756e4ce7bca7836233e1c99dfdb Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 16 Oct 2014 06:39:01 -0500 Subject: [PATCH] unbreak redex pdf docs build please include in the release (cherry picked from commit 098d17b524b180511c661956a3b44193293eced2) --- .../redex-doc/redex/scribblings/benchmark-models.scrbl | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/pkgs/redex-pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl b/pkgs/redex-pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl index 9a553e605b..745cb929e6 100644 --- a/pkgs/redex-pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl +++ b/pkgs/redex-pkgs/redex-doc/redex/scribblings/benchmark-models.scrbl @@ -99,8 +99,7 @@ into each model. (number->string num) (symbol->string (get-category type num)) (number->string (get-counterexample-size type num)) - (element (style "ErrorDescriptionBox" '()) - (list (get-error type num)))) + (list (get-error type num))) (set! last-type type)))))] } }