From 804b558e05575a448ec1bfea1b9f90978bd80ca6 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 25 Jul 2014 20:35:16 -0500 Subject: [PATCH] fix contracts --- pkgs/pict-pkgs/pict-lib/pict/code.rkt | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/pict-pkgs/pict-lib/pict/code.rkt b/pkgs/pict-pkgs/pict-lib/pict/code.rkt index 6ff55d318c..011578439a 100644 --- a/pkgs/pict-pkgs/pict-lib/pict/code.rkt +++ b/pkgs/pict-pkgs/pict-lib/pict/code.rkt @@ -54,9 +54,9 @@ [current-base-color (parameter/c (or/c string? (is-a?/c color%)))] [current-reader-forms (parameter/c (listof symbol?))] [code-align (-> pict? pict?)] - [current-keyword-list (parameter/c string?)] - [current-const-list (parameter/c string?)] - [current-literal-list (parameter/c string?)])) + [current-keyword-list (parameter/c (listof string?))] + [current-const-list (parameter/c (listof string?))] + [current-literal-list (parameter/c (listof string?))])) (provide define-exec-code/scale define-exec-code)