X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/21f0106ca9c670068f388b5f54fb5a54981b7c15..80489f0ab878fa01f87a35988aedff282e5f0ea5:/src/Headers/cpperror.h

diff --git a/src/Headers/cpperror.h b/src/Headers/cpperror.h
index 2c1861f..eb025aa 100644
--- a/src/Headers/cpperror.h
+++ b/src/Headers/cpperror.h
@@ -16,7 +16,7 @@ cppReader_pedwarnWithLine (cppReader *p_pfile, int p_line, int p_column,
 extern void cppReader_error (cppReader *p_pfile, /*@only@*/ cstring p_msg);
 extern void cppReader_warning (cppReader *p_pfile, /*@only@*/ cstring p_msg);
 
-extern void cppReader_printContainingFiles (cppReader *p_pfile) /*@modifies g_msgstream, p_pfile@*/ ;
+extern void cppReader_printContainingFiles (cppReader *p_pfile) /*@modifies g_warningstream, p_pfile@*/ ;
 extern void cppReader_warningLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);
 
 extern void cppReader_pedwarn (cppReader *p_pfile, /*@only@*/ cstring p_msg);
@@ -24,7 +24,7 @@ extern void cppReader_pedwarn (cppReader *p_pfile, /*@only@*/ cstring p_msg);
 extern void cppReader_pedwarnLit (cppReader *p_pfile, /*@observer@*/ cstring p_msg);
 
 extern void cppReader_errorWithLine (cppReader *p_pfile,
-				     long p_line, long p_column, 
+				     int p_line, int p_column, 
 				     /*@only@*/ cstring p_msg);
 
 extern void cppReader_perrorWithName (cppReader *p_pfile, cstring p_name);