diff --git a/collects/profj/build-info.ss b/collects/profj/build-info.ss
index bd75109406..6d9898f98a 100644
--- a/collects/profj/build-info.ss
+++ b/collects/profj/build-info.ss
@@ -832,9 +832,9 @@
                    (length (method-parms (car members))))
                 (andmap type=?
                         (method-record-atypes member-record)
-                        ;(map (lambda (t)
-                               ;(type-spec-to-type t (method-record-class member-record)  level type-recs))
-                             (map field-type-spec (method-parms (car members))));)
+                        (map (lambda (t)
+                               (type-spec-to-type t (method-record-class member-record)  level type-recs))
+                             (map field-type-spec (method-parms (car members)))))
                 (type=? (method-record-rtype member-record)
                         (type-spec-to-type (method-type (car members)) (method-record-class member-record) level type-recs)))
            (car members)