diff --git a/collects/typed-racket/base-env/base-env-indexing-abs.rkt b/collects/typed-racket/base-env/base-env-indexing-abs.rkt
index 5b9d911e43..76610aeaf6 100644
--- a/collects/typed-racket/base-env/base-env-indexing-abs.rkt
+++ b/collects/typed-racket/base-env/base-env-indexing-abs.rkt
@@ -275,6 +275,9 @@
    [flvector-set! (cl->* (-> -FlVector -NonNegFixnum -Flonum -Void)
                          (-> -FlVector -Fixnum -Flonum -Void)
                          (-> -FlVector index-type -Flonum -Void))]
+   [flvector-copy (cl->* (-> -FlVector -FlVector)
+                         (-> -FlVector index-type -FlVector)
+                         (-> -FlVector index-type index-type -FlVector))]
 
    [unsafe-flvector-length (-> -FlVector -NonNegFixnum)]
    [unsafe-flvector-ref (cl->* (-> -FlVector -NonNegFixnum -Flonum)