From db1a0b87891067bcd46c2c3aac79ec6934bd1fac Mon Sep 17 00:00:00 2001
From: Kathy Gray <kathryn.gray@cl.cam.ac.uk>
Date: Tue, 27 May 2008 12:16:48 +0000
Subject: [PATCH] Version number

svn: r9973
---
 collects/profj/types.ss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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)