xx

diff --git a/spinlock.c b/spinlock.c
index 7b372ef3f1d1b016aa17d1dd07e8b5bdebced095..2f0e873e03378c4858ca3f348256ac3825e5105e 100644 (file)
--- a/spinlock.c
+++ b/spinlock.c
@@ -56,7 +56,7 @@ release(struct spinlock *lk)
   // past this point, to ensure that all the stores in the critical
   // section are visible to other cores before the lock is released.
   // Both the C compiler and the hardware may re-order loads and
-  // stores; __sync_synchronize() tells them both to not re-order.
+  // stores; __sync_synchronize() tells them both not to.
   __sync_synchronize();
 
   // Release the lock, equivalent to lk->locked = 0.