Thanks Nicolas, I committed your fix.

Ali

On Feb 10, 2008, at 6:54 PM, Nicolas Zea wrote:

Using 2.0b4

Line 310:

if (i != portMap.end())
         dest_id = i->second;
updatePortCache(dest_id, i->first.start, i->first.end);

should probably be changed to:

if (i != portMap.end()){
       dest_id = i->second;
        updatePortCache(dest_id, i->first.start, i->first.end);
}
_______________________________________________
m5-users mailing list
m5-users@m5sim.org
http://m5sim.org/cgi-bin/mailman/listinfo/m5-users


_______________________________________________
m5-users mailing list
m5-users@m5sim.org
http://m5sim.org/cgi-bin/mailman/listinfo/m5-users

Reply via email to