Fix contract for pin-arrow-label-line and friends

2014-05-05 17:24:22 -04:00 · 2014-05-05 17:24:22 -04:00 · a524a74ba6
commit a524a74ba6
parent 53e3d104f7
1 changed files with 1 additions and 0 deletions
--- a/pkgs/unstable-pkgs/unstable-lib/gui/pict.rkt
+++ b/pkgs/unstable-pkgs/unstable-lib/gui/pict.rkt
@ -381,6 +381,7 @@
        #:color (or/c #f string? (is-a?/c color%))
        #:style pen-style/c
        #:alpha (real-in 0 1)
+        #:solid? any/c
        #:under? any/c #:hide-arrowhead? any/c
        #:x-adjust real? #:y-adjust real?]
       pict?))