Index: trunk/archive/pslib/include/psTrace.h
===================================================================
--- trunk/archive/pslib/include/psTrace.h	(revision 257)
+++ trunk/archive/pslib/include/psTrace.h	(revision 290)
@@ -15,15 +15,15 @@
 void p_psTrace(const char *facil, 	///< facilty of interest
 	       int level,		///< desired trace level
-	       ...)			///< trace message arguments 
-;
+	       ...			///< trace message arguments 
+    );
 
 /// Set trace level 
 int psSetTraceLevel(const char *facil,	///< facilty of interest
-		    int level)		///< desired trace level
-;
+		    int level		///< desired trace level
+    );
 
 /// Get the trace level 
-int psGetTraceLevel(const char *name)	///< facilty of interest
-;
+int psGetTraceLevel(const char *name	///< facilty of interest
+    );
 
 /// turn off all tracing, and free trace's allocated memory