diff --git a/collects/scribble/private/manual-proc.rkt b/collects/scribble/private/manual-proc.rkt
index 076a30d953..a01168bfe4 100644
--- a/collects/scribble/private/manual-proc.rkt
+++ b/collects/scribble/private/manual-proc.rkt
@@ -18,6 +18,7 @@
          scheme/list
          (for-syntax racket/base)
          (for-label racket/base
+                    racket/contract
                     racket/class))
 
 (provide defproc defproc* defstruct defstruct*