From: Brian Demsky <bdemsky@uci.edu>
Date: Fri, 22 Mar 2013 23:31:47 +0000 (-0700)
Subject: correct comment typo
X-Git-Tag: oopsla2013~121
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=ab73aff1ea7d1b5b8140b361824580449a6b4398

correct comment typo
---

diff --git a/test/insanesync.c b/test/insanesync.c
index 100eb20..3fc77d4 100644
--- a/test/insanesync.c
+++ b/test/insanesync.c
@@ -12,7 +12,7 @@ atomic_llong z;
 atomic_llong z2;
 
 /** 
-		This example illustrates a self-satisfying cycling involving
+		This example illustrates a self-satisfying cycle involving
 		synchronization.  A failed synchronization creates the store that
 		causes the synchronization to fail.