Mirror/zeek
1
0
Fork 0
mirror of https://github.com/zeek/zeek.git synced 2025-10-05 16:18:19 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

Obj: remove unused fields Location::{timestamp,text}

Browse source
This commit is contained in:
Max Kellermann 2020-02-04 13:37:40 +01:00
parent 91e0860cd4
commit ba445d36f9
1 changed files with 0 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/Obj.h
View file

@ -15,17 +15,12 @@ public:
last_line = line_l;
first_column = col_f;
last_column = col_l;
timestamp = 0;
text = 0;
}
Location()
{
filename = 0;
first_line = last_line = first_column = last_column = 0;
timestamp = 0;
text = 0;
}
void Describe(ODesc* d) const;
@ -37,10 +32,6 @@ public:
const char* filename;
int first_line, last_line;
int first_column, last_column;
// Timestamp and text for compatibility with Bison's default yyltype.
int timestamp;
char* text;
};
#define YYLTYPE yyltype