diff options
| -rw-r--r-- | docs/LangRef.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/LangRef.html b/docs/LangRef.html index c5c04cd1aa..308dd207e5 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -282,7 +282,7 @@ by the verifier pass indicate bugs in transformation passes or input to the parser.</p> </div> -<!-- Describe the typesetting conventions here. --> </div> +<!-- Describe the typesetting conventions here. --> <!-- *********************************************************************** --> <div class="doc_section"> <a name="identifiers">Identifiers</a> </div> |