diff options
| -rw-r--r-- | docs/LangRef.html | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index 4342445ec6..a9d49e3402 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -846,16 +846,6 @@ following rules: terms of 64 <2 x double>, for example.</li> </ol> </div> -<!-- ======================================================================= --> -<div class="doc_subsection"> - <a name="datalayout">Data Layout</a> -</div> -<div class="doc_text"> - <p>At the top level, the keyword <tt>checkpoint</tt> may be used to force the - assembler to check point the types and values it has defined so far. Any - unresolved types or references will generate error messages. This is useful - as an assertion point or for debugging.</p> -</div> <!-- *********************************************************************** --> <div class="doc_section"> <a name="typesystem">Type System</a> </div> |