diff --git a/quad/main-typed-sample.rkt b/quad/main-typed-sample.rkt
index 4f4f8f22..5957483d 100644
--- a/quad/main-typed-sample.rkt
+++ b/quad/main-typed-sample.rkt
@@ -8,5 +8,4 @@
                [world:paper-height-default 700.0])
   (define sample (ti5))
   (define to (begin (time (typeset sample))))
-  to
 #;  (time (send (new pdf-renderer%) render-to-file to "foo.pdf")))
\ No newline at end of file
diff --git a/quad/main-typed.rkt b/quad/main-typed.rkt
index 8a2e7d91..a78adbd7 100644
--- a/quad/main-typed.rkt
+++ b/quad/main-typed.rkt
@@ -111,7 +111,7 @@
                                  (get-solution (-> HashTableTop))
                                  (get-solutions (-> (Listof (HashTable String Integer))))
                                  (add-variable (Any (Listof Any) . -> . Void))
-                                 (add-constraint (Procedure (Listof Any) . -> . Void)))])
+                                 (add-constraint ((Index . -> . Boolean) (Listof Any) . -> . Void)))])
 (define/typed+provide (lines->columns lines)
   ((Listof Quad) . -> . (Listof Quad)) ; (lines? . -> . columns?)
   (define prob (new problem%))