X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=README.md;h=73173c737c5ed9a6dded95c7fabfc2b9023d7b4b;hp=1002ef2f95fd070094972bdc1d0351d994235a5a;hb=3c9548186ff354eeb93e6d850d3de61a884ed089;hpb=41f1a1cb050b8e83ae9e772e73860a0acca516dd

diff --git a/README.md b/README.md
index 1002ef2..73173c7 100644
--- a/README.md
+++ b/README.md
@@ -152,8 +152,8 @@ from `<thread.h>`).
 
 Test programs may also use our included happens-before race detector by
 including <librace.h> and utilizing the appropriate functions
-(`store_{8,16,32,64}()` and `load_{8,16,32,64}()`) for loading/storing data from/to
-non-atomic shared memory.
+(`store_{8,16,32,64}()` and `load_{8,16,32,64}()`) for storing/loading data
+to/from non-atomic shared memory.
 
 CDSChecker can also check boolean assertions in your test programs. Just
 include `<model-assert.h>` and use the `MODEL_ASSERT()` macro in your test program.