Moving my todos over to the tracker ticket.

This commit is contained in:
Robin Sommer 2012-06-15 14:45:07 -07:00
parent 1acb9fd91d
commit 19cf93be69
5 changed files with 2 additions and 23 deletions

View file

@ -217,9 +217,7 @@ public:
// Return whether the analyzer previously called ProtocolConfirmation()
// at least once before.
//
// TODO-Jon: Why virtual?
virtual bool ProtocolConfirmed() const
bool ProtocolConfirmed() const
{ return protocol_confirmed; }
// Report that we found a significant protocol violation which might