From: Brian Norris <banorris@uci.edu>
Date: Fri, 15 Jun 2012 06:20:20 +0000 (-0700)
Subject: fixup some doc wording
X-Git-Tag: pldi2013~391^2~15^2~1
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=ca8ff397344fe054228da40ca7009ba5756e7d1a;p=model-checker.git

fixup some doc wording
---

diff --git a/mymemory.h b/mymemory.h
index b200ae0..56e6904 100644
--- a/mymemory.h
+++ b/mymemory.h
@@ -35,7 +35,7 @@ void MYFREE(void *ptr);
 void system_free( void * ptr );
 void *system_malloc( size_t size );
 
-/** @brief Provides a non-snapshotting allocators for a STL class.
+/** @brief Provides a non-snapshotting allocator for use in STL classes.
  *
  * The code was adapted from a code example from the book The C++
  * Standard Library - A Tutorial and Reference by Nicolai M. Josuttis,
diff --git a/schedule.h b/schedule.h
index ad9f11a..cba4b11 100644
--- a/schedule.h
+++ b/schedule.h
@@ -11,7 +11,8 @@
 /* Forward declaration */
 class Thread;
 
-/** @brief The Scheduler class controls the Thread execution schedule. */
+/** @brief The Scheduler class performs the mechanics of Thread execution
+ * scheduling. */
 class Scheduler {
 public:
 	Scheduler();