--- branches/dev-api-4/xvidcore/src/utils/timer.c	2003/06/02 11:47:30	1052
+++ branches/dev-api-4/xvidcore/src/utils/timer.c	2003/06/09 01:25:19	1053
@@ -94,7 +94,7 @@
 	return (double) (y - x) / 1000.;
 }
 
-// set everything to zero //
+/* set everything to zero */
 void
 init_timer()
 {