diff --git a/docs/Passes.html b/docs/Passes.html
index 352263eca73..b7f2ca0fc7b 100644
--- a/docs/Passes.html
+++ b/docs/Passes.html
@@ -1845,7 +1845,7 @@ if (i == j)
before performing optimizing transformations.
-
+
- Both of a binary operator's parameters are of the same type.
- Verify that the indices of mem access instructions match other
operands.
@@ -1875,7 +1875,7 @@ if (i == j)
not agree with the function return value type.
- Function call argument types match the function prototype.
- All other things that are tested by asserts spread about the code.
-
+
Note that this does not provide full security verification (like Java), but