From 298e7cfce64cbb524cd643715dc445d2d71bd711 Mon Sep 17 00:00:00 2001
From: Sasank Chilamkurthy <sasankchilamkurthy@gmail.com>
Date: Tue, 18 Aug 2020 12:34:41 +0530
Subject: [PATCH] add end options in docstring

---
 lark/lark.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lark/lark.py b/lark/lark.py
index 835d28e..d82e723 100644
--- a/lark/lark.py
+++ b/lark/lark.py
@@ -88,6 +88,8 @@ class LarkOptions(Serialize):
             Accept an input of type ``bytes`` instead of ``str`` (Python 3 only).
     edit_terminals
             A callback for editing the terminals before parse.
+
+    **=== End Options ===**
     """
     if __doc__:
         __doc__ += OPTIONS_DOC
@@ -306,7 +308,6 @@ class Lark(Serialize):
             with FS.open(cache_fn, 'wb') as f:
                 self.save(f)
 
-    # TODO: merge with above
     __doc__ += "\n\n" + LarkOptions.OPTIONS_DOC
 
     __serialize_fields__ = 'parser', 'rules', 'options'