[Bro-Dev] #1023: const vector can be modified

[Bro Tracker]

#1023: const vector can be modified
------------------------+---------------------
 Reporter:  dmandelb    |       Type:  Problem
   Status:  new         |   Priority:  Medium
Milestone:  Bro2.2      |  Component:  Bro
  Version:  git/master  |   Keywords:
------------------------+---------------------
 The following code should probably be an error:
 {{{
 const foo: vector of double = vector() &redef;
 foo[|foo|] = 42.0;
 print(foo);
 }}}

-- 
Ticket URL: <http://tracker.bro.org/bro/ticket/1023>
Bro Tracker <http://tracker.bro.org/bro>
Bro Issue Tracker