mirror of
https://github.com/zeek/zeek.git
synced 2025-10-14 20:48:21 +00:00
Completely remove all traces of the COUNTER type.
Relates to GH-1095
This commit is contained in:
parent
01fa5611ef
commit
417a6eb1e9
28 changed files with 79 additions and 140 deletions
|
@ -10,7 +10,7 @@
|
|||
%token TOK_ADD TOK_ADD_TO TOK_ADDR TOK_ANY
|
||||
%token TOK_ATENDIF TOK_ATELSE TOK_ATIF TOK_ATIFDEF TOK_ATIFNDEF
|
||||
%token TOK_BOOL TOK_BREAK TOK_CASE TOK_OPTION TOK_CONST
|
||||
%token TOK_CONSTANT TOK_COPY TOK_COUNT TOK_COUNTER TOK_DEFAULT TOK_DELETE
|
||||
%token TOK_CONSTANT TOK_COPY TOK_COUNT TOK_DEFAULT TOK_DELETE
|
||||
%token TOK_DOUBLE TOK_ELSE TOK_ENUM TOK_EVENT TOK_EXPORT TOK_FALLTHROUGH
|
||||
%token TOK_FILE TOK_FOR TOK_FUNCTION TOK_GLOBAL TOK_HOOK TOK_ID TOK_IF TOK_INT
|
||||
%token TOK_INTERVAL TOK_LIST TOK_LOCAL TOK_MODULE
|
||||
|
@ -840,11 +840,6 @@ type:
|
|||
$$ = zeek::base_type(zeek::TYPE_COUNT)->Ref();
|
||||
}
|
||||
|
||||
| TOK_COUNTER {
|
||||
zeek::detail::set_location(@1);
|
||||
$$ = zeek::base_type(zeek::TYPE_COUNTER)->Ref();
|
||||
}
|
||||
|
||||
| TOK_DOUBLE {
|
||||
zeek::detail::set_location(@1);
|
||||
$$ = zeek::base_type(zeek::TYPE_DOUBLE)->Ref();
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue