Index: TECH/Timing/Timer.cls.xml =================================================================== diff -u -r2149 -r3139 --- TECH/Timing/Timer.cls.xml (.../Timer.cls.xml) (revision 2149) +++ TECH/Timing/Timer.cls.xml (.../Timer.cls.xml) (revision 3139) @@ -66,7 +66,9 @@ %Integer -