From 193f3c49c68ca65b8822e47c5ae927063489e1e6 Mon Sep 17 00:00:00 2001
From: Alexis King <lexi.lambda@gmail.com>
Date: Fri, 13 Mar 2015 16:25:33 -0700
Subject: [PATCH] Fix the types for pin-over and pin-under in typed/pict

---
 typed-racket-more/typed/pict.rkt | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/typed-racket-more/typed/pict.rkt b/typed-racket-more/typed/pict.rkt
index eb444e12..b08980d3 100644
--- a/typed-racket-more/typed/pict.rkt
+++ b/typed-racket-more/typed/pict.rkt
@@ -166,15 +166,17 @@
 
  [pin-over
   (cl->*
-    (-> -pict -Real -Real -pict)
+    (-> -pict -Real -Real -pict -pict)
     (-> -pict -pict-path
         (-> -pict -pict-path (-values (list -Real -Real)))
+        -pict
         -pict))]
  [pin-under
   (cl->*
-    (-> -pict -Real -Real -pict)
+    (-> -pict -Real -Real -pict -pict)
     (-> -pict -pict
         (-> -pict -pict (-values (list -Real -Real)))
+        -pict
         -pict))]
 
  [table