diff --git a/collects/profj/types.ss b/collects/profj/types.ss
index fe28396f50..5c145a5b0c 100644
--- a/collects/profj/types.ss
+++ b/collects/profj/types.ss
@@ -855,7 +855,7 @@
 ;                                          
 
   
-  (define type-version "version4")
+  (define type-version "version5")
   (define type-length 11)
   
   ;; read-record: path -> (U class-record #f)