Fixes after removing -unrecogcomments flag for make splintme.

[splint.git] / src / Headers / osd.h

diff --git a/src/Headers/osd.h b/src/Headers/osd.h
index 0e02f748183b19016263b26aa1ef38129f3f2c2a..ca5c2b9aeded4d2ba295595a84d2e68df9f8753e 100644 (file)
--- a/src/Headers/osd.h
+++ b/src/Headers/osd.h
@@ -135,8 +135,8 @@ extern int /*pid_t*/ osd_getPid (void) ;
 ** full path name.                                                     
 */
 
-# define    CONNECTSTR ":"
-# define    CONNECTCHAR        ':'
+# define CONNECTSTR    ":"
+# define CONNECTCHAR   ':'
 
 /* Directory separator character for search list. */
 /*@constant static char PATH_SEPARATOR; @*/