Version number

svn: r9973
2008-05-27 12:16:48 +00:00 · 2008-05-27 12:16:48 +00:00 · db1a0b8789
commit db1a0b8789
parent a4960166df
1 changed files with 1 additions and 1 deletions
--- 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)