X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=README;fp=README;h=e4a85bd84ef8d7f8c5c4d075770707046a36f15c;hp=cdeea6eda6a50e4b8bed3f93a69666f823897128;hb=299acd153fa357fbc31e2877a37d8eb9d64f309e;hpb=5fce214bd21e55c46398c08671abca10723ba213

diff --git a/README b/README
index cdeea6e..e4a85bd 100644
--- a/README
+++ b/README
@@ -134,7 +134,7 @@ We only support C11 thread syntax (thrd_t, etc. 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
-from non-atomic shared memory.
+non-atomic shared memory.
 
 Test programs should be compiled against our shared library (libmodel.so) using
 the headers in the include/ directory. Then the shared library must be made