diff --git a/pkgs/contract-profile/main.rkt b/pkgs/contract-profile/main.rkt index e786f53a47..734bcac354 100644 --- a/pkgs/contract-profile/main.rkt +++ b/pkgs/contract-profile/main.rkt @@ -223,7 +223,8 @@ ;; Entry point (provide (rename-out [contract-profile/user contract-profile]) - contract-profile-thunk) + contract-profile-thunk + analyze-contract-samples) ; for feature-specific profiler ;; TODO have kw args for profiler, etc. ;; TODO have kw args for output files