diff options
Diffstat (limited to 'Documentation/memory-barriers.txt')
-rw-r--r-- | Documentation/memory-barriers.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/memory-barriers.txt b/Documentation/memory-barriers.txt index 102dc19c4119..ddd2e0d1febc 100644 --- a/Documentation/memory-barriers.txt +++ b/Documentation/memory-barriers.txt | |||
@@ -1371,7 +1371,7 @@ code. Here are some examples of these sorts of optimizations: | |||
1371 | process_message(msg); | 1371 | process_message(msg); |
1372 | } | 1372 | } |
1373 | 1373 | ||
1374 | There is nothing to prevent the the compiler from transforming | 1374 | There is nothing to prevent the compiler from transforming |
1375 | process_level() to the following, in fact, this might well be a | 1375 | process_level() to the following, in fact, this might well be a |
1376 | win for single-threaded code: | 1376 | win for single-threaded code: |
1377 | 1377 | ||