diff --git a/collects/profile/scribblings/profile.scrbl b/collects/profile/scribblings/profile.scrbl
index cf50723..e07a7b4 100644
--- a/collects/profile/scribblings/profile.scrbl
+++ b/collects/profile/scribblings/profile.scrbl
@@ -23,4 +23,3 @@ limits.
 @include-section["sampler.scrbl"]
 @include-section["analyzer.scrbl"]
 @include-section["renderers.scrbl"]
-@include-section["contract-profile.scrbl"]