1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/lockdep-design.txt b/Documentation/lockdep-design.txt
index 2a76a4af598c..dab123db5a4f 100644
--- a/Documentation/lockdep-design.txt
+++ b/Documentation/lockdep-design.txt
@@ -170,7 +170,7 @@ Proof of 100% correctness:
 The validator achieves perfect, mathematical 'closure' (proof of locking
 correctness) in the sense that for every simple, standalone single-task
-locking sequence that occured at least once during the lifetime of the
+locking sequence that occurred at least once during the lifetime of the
 kernel, the validator proves it with a 100% certainty that no
 combination and timing of these locking sequences can cause any class of
 lock related deadlock. [*]

diff --git a/Documentation/lockdep-design.txt b/Documentation/lockdep-design.txt index 2a76a4af598c..dab123db5a4f 100644 --- a/Documentation/lockdep-design.txt +++ b/Documentation/lockdep-design.txt
@@ -170,7 +170,7 @@ Proof of 100% correctness:
170		170
171	The validator achieves perfect, mathematical 'closure' (proof of locking	171	The validator achieves perfect, mathematical 'closure' (proof of locking
172	correctness) in the sense that for every simple, standalone single-task	172	correctness) in the sense that for every simple, standalone single-task
173	locking sequence that occured at least once during the lifetime of the	173	locking sequence that occurred at least once during the lifetime of the
174	kernel, the validator proves it with a 100% certainty that no	174	kernel, the validator proves it with a 100% certainty that no
175	combination and timing of these locking sequences can cause any class of	175	combination and timing of these locking sequences can cause any class of
176	lock related deadlock. [*]	176	lock related deadlock. [*]