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

Merge branch 'master' into topic/policy-scripts-new

Browse source
This commit is contained in:
Jon Siwek 2011-05-18 11:44:45 -05:00
commit f0143c3c5f
10 changed files with 135 additions and 143 deletions
Download patch file Download diff file Expand all files Collapse all files

6
src/parse.y
View file

@ -1093,8 +1093,10 @@ decl:
new RecordType(fake_type_decl_list);
ID* fake = create_dummy_id($3, fake_record);
fake_type_decl_list = 0;
current_reST_doc->AddRedef(
new BroDocObj(fake, reST_doc_comments, true));
BroDocObj* o =
new BroDocObj(fake, reST_doc_comments, true);
o->SetRole(true);
current_reST_doc->AddRedef(o);
}
else
{