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 1f176b9a04274b2c7b8c9d8947c66dfabf90b7ac..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; @*/
@@ -203,11 +203,7 @@ extern int /*pid_t*/ osd_getPid (void) ;
 # else
 # error "Multiple include"
 # endif
-
-
-# else
-# error "Multiple include"
-# endif
+\