diff --git a/utils.rkt b/utils.rkt
index 3f5252c..9a0f7b6 100644
--- a/utils.rkt
+++ b/utils.rkt
@@ -18,9 +18,7 @@
  collect-by-key/sets ht-values/list->set hash->list/ordered hash-replace-keys/ordered
  multi-split-at lists-transpose append-lists in-random cartesian-product-2/stream
  cartesian-product/stream boolean-power boolean-power/stream any->01
- 01->boolean
-
- variable-mapping?)
+ 01->boolean)
 
 (module+ test
   (require typed/rackunit))
@@ -678,10 +676,3 @@
   (test-case "01->boolean"
     (check-equal? (01->boolean 0) #f)
     (check-equal? (01->boolean 1) #t)))
-
-;; TODO: Remove when the other modules are converted to Typed Racket
-;; and these contracts are not needed any more.
-
-(: variable-mapping? (-> Any Boolean : HashTableTop))
-(define (variable-mapping? dict)
-  (hash? dict))