dtprintinfo: Coverity 89561

[oweals/cde.git] / cde / programs / dtdocbook / instant / util.c

diff --git a/cde/programs/dtdocbook/instant/util.c b/cde/programs/dtdocbook/instant/util.c
index 19ab9bdda3706bc8870987a097344aa930a69875..9a782692def0eb02b297e72b696323cbd1c271a1 100644 (file)
--- a/cde/programs/dtdocbook/instant/util.c
+++ b/cde/programs/dtdocbook/instant/util.c
@@ -16,7 +16,7 @@
  * details.
  *
  * You should have received a copy of the GNU Lesser General Public
- * License along with these librararies and programs; if not, write
+ * License along with these libraries and programs; if not, write
  * to the Free Software Foundation, Inc., 51 Franklin Street, Fifth
  * Floor, Boston, MA 02110-1301 USA
  */
@@ -78,7 +78,9 @@ static char *RCSid =
 #include <sys/types.h>
 #include <sys/stat.h>
 #include <sys/file.h>
+#if !defined(CSRG_BASED)
 #include <values.h>
+#endif
 
 #include "general.h"
 
@@ -606,7 +608,7 @@ OutputString(
 /* ______________________________________________________________________ */
 /* resets the output buffer
  */
-void ClearOutputBuffer()
+void ClearOutputBuffer(void)
 {
 outputBuffer.current = outputBuffer.base;
 }
@@ -615,7 +617,7 @@ outputBuffer.current = outputBuffer.base;
 /* determines if there is already some text in the output buffer,
  * returns 1 if so, else 0
  */
-int OutputBufferActive()
+int OutputBufferActive(void)
 {
 return (outputBuffer.current != outputBuffer.base);
 }
@@ -623,7 +625,7 @@ return (outputBuffer.current != outputBuffer.base);
 /* ______________________________________________________________________ */
 /* terminates output buffer with a null char and returns the buffer
  */
-char *GetOutputBuffer()
+char *GetOutputBuffer(void)
 {
 if (CheckOutputBuffer(1))
     *(outputBuffer.current)++ = '\0';