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

Fixing a few Coverity warnings.

Browse source
This commit is contained in:
Robin Sommer 2016-05-23 08:25:11 -07:00
parent 85213e6b55
commit 50945a6359
6 changed files with 8 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/PriorityQueue.h
View file

@ -21,7 +21,7 @@ public:
void MinimizeTime() { time = -HUGE_VAL; }
protected:
PQ_Element() { }
PQ_Element() { time = 0; offset = -1; }
double time;
int offset;
};