Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-03 23:28:20 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 2

Renaming reporter_message to report_info.

Browse source 
Same change internally.
This commit is contained in:
Robin Sommer 2011-07-07 08:43:29 -07:00
parent eb0580c622
commit df1b2f922b
14 changed files with 34 additions and 34 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/Reporter.h
View file

@ -22,7 +22,7 @@ public:
// Report an informational message, nothing that needs specific
// attention.
void Message(const char* fmt, ...);
void Info(const char* fmt, ...);
// Report a warning that may indicate a problem.
void Warning(const char* fmt, ...);