diff --git a/docs/LangRef.html b/docs/LangRef.html
index b952c4080ac..dbcd3556a4c 100644
--- a/docs/LangRef.html
+++ b/docs/LangRef.html
@@ -3564,7 +3564,7 @@ Instruction</a> </div>
 
 <p>If the <tt>exact</tt> keyword is present, the result value of the
    <tt>sdiv</tt> is a <a href="#trapvalues">trap value</a> if the result would
-   be rounded or if overflow would occur.</p>
+   be rounded.</p>
 
 <h5>Example:</h5>
 <pre>