correct comment typo
[model-checker.git] / test / insanesync.c
index 100eb20cf52622a37890fae1c5e9018a1b3f18c3..3fc77d44fb0d155f5172b899b5255a5a11336402 100644 (file)
@@ -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.