[augeas-devel] [PATCH 1/6] Grub: simplify comment_re to speed up typecheck

[David Lutterkort]

---
 lenses/grub.aug |    3 +--
 1 files changed, 1 insertions(+), 2 deletions(-)

diff --git a/lenses/grub.aug b/lenses/grub.aug
index b9c7dce..ccfcc7e 100644
--- a/lenses/grub.aug
+++ b/lenses/grub.aug
@@ -68,8 +68,7 @@ module Grub =
     let boot = [ label "title" . title . boot_setting* ]
 
     let comment_re = /([^ \t\n].*[^ \t\n]|[^ \t\n])/
-                       - "# ## Start Default Options ##"
-                       - "# ## End Default Options ##"
+                       - /# ## (Start|End) Default Options ##/
 
     let comment    =
         [ Util.indent . label "#comment" . del /#[ \t]*/ "# "
-- 
1.6.0.6