Further polishing and cleanup in preparation for merge.

This commit is contained in:
Robin Sommer 2014-07-12 18:12:09 -07:00
parent aeb8e71e8c
commit 9616cd8e61
15 changed files with 79 additions and 60 deletions

View file

@ -62,7 +62,7 @@ private:
bool used; // this handler is indeed used somewhere
bool enabled;
bool error_handler; // this handler reports error messages.
bool generate_always;
bool generate_always;
declare(List, SourceID);
typedef List(SourceID) receiver_list;