Index: zTryout/CSC/FormalspecTest.cls.xml =================================================================== diff -u -r946 -r1074 --- zTryout/CSC/FormalspecTest.cls.xml (.../FormalspecTest.cls.xml) (revision 946) +++ zTryout/CSC/FormalspecTest.cls.xml (.../FormalspecTest.cls.xml) (revision 1074) @@ -1,9 +1,8 @@ - + 1 %RegisteredObject -62173,35586.207639 0 @@ -30,5 +29,4 @@ ]]> -