X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2Finsanesync.c;h=3fc77d44fb0d155f5172b899b5255a5a11336402;hb=ab73aff1ea7d1b5b8140b361824580449a6b4398;hp=100eb20cf52622a37890fae1c5e9018a1b3f18c3;hpb=02558d484765370cd00ff15008412aa4a15eea11;p=model-checker.git

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.