diff --git a/collects/typed-scheme/infer/infer.ss b/collects/typed-scheme/infer/infer.ss
index b8c37883..c660783e 100644
--- a/collects/typed-scheme/infer/infer.ss
+++ b/collects/typed-scheme/infer/infer.ss
@@ -3,10 +3,11 @@
 (require (except-in "../utils/utils.ss" infer))
 (require "infer-unit.ss" "constraints.ss" "dmap.ss" "signatures.ss"
          "restrict.ss" "promote-demote.ss"
-         (only-in scheme/unit provide-signature-elements)
+         (only-in scheme/unit provide-signature-elements
+                  define-values/invoke-unit/infer link)
          (utils unit-utils))
          
 (provide-signature-elements restrict^ infer^)
 
-(define-values/link-units/infer
-  infer@ constraints@ dmap@ restrict@ promote-demote@)
+(define-values/invoke-unit/infer
+  (link infer@ constraints@ dmap@ restrict@ promote-demote@))
diff --git a/collects/typed-scheme/typecheck/typechecker.ss b/collects/typed-scheme/typecheck/typechecker.ss
index ed935ff9..f398b18c 100644
--- a/collects/typed-scheme/typecheck/typechecker.ss
+++ b/collects/typed-scheme/typecheck/typechecker.ss
@@ -3,7 +3,9 @@
 (require "../utils/utils.ss")
 (require (utils unit-utils)
          mzlib/trace
-         (only-in scheme/unit provide-signature-elements)
+         (only-in scheme/unit
+                  provide-signature-elements
+                  define-values/invoke-unit/infer link)
          "signatures.ss" "tc-toplevel.ss"         
          "tc-if-unit.ss" "tc-lambda-unit.ss" "tc-app-unit.ss"
          "tc-let-unit.ss" "tc-dots-unit.ss"
@@ -11,5 +13,5 @@
 
 (provide-signature-elements typechecker^ tc-expr^)
 
-(define-values/link-units/infer
-  tc-toplevel@ tc-if@ tc-lambda@ tc-dots@ tc-app@ tc-let@ tc-expr@ check-subforms@)
+(define-values/invoke-unit/infer
+  (link tc-toplevel@ tc-if@ tc-lambda@ tc-dots@ tc-app@ tc-let@ tc-expr@ check-subforms@))