- jbj: add POPT_next_char(), backout POPT_fprintf() usage (for the moment).

1 files changed, 6 insertions, 3 deletions

diff --git a/poptint.h b/poptint.h
index 180e50c..15ee8ff 100644
--- a/poptint.h
+++ b/poptint.h
@@ -182,11 +182,14 @@ extern char *nl_langinfo (nl_item __item)
 #endif
 #endif
 
+char *POPT_prev_char (/*@returned@*/ const char *str)
+	/*@*/;
+
+char *POPT_next_char (/*@returned@*/ const char *str)
+	/*@*/;
+
 int   POPT_fprintf (FILE* stream, const char *format, ...)
 	/*@globals fileSystem @*/
 	/*@modifies stream, fileSystem @*/;
 
-char *POPT_prev_char (/*@returned@*/ const char *str)
-	/*@*/;
-
 #endif