comment on work-queue

git-svn-id: svn+ssh://svn.cprover.org/srv/svn/cbmc/trunk@3865 6afb6bc1-c8e4-404c-8f48-9ae832c5b171

Author: kroening

src/analyses/ai.h

@@ -134,6 +134,7 @@ class ai_baset
     const irep_idt &identifier,
     std::ostream &out) const;
 
+  // the work-queue is sorted by location number
   typedef std::map<unsigned, locationt> working_sett;
 
   locationt get_next(working_sett &working_set);