[augeas-devel] augeas: master - Grub: simplify comment_re to speed up typecheck

[David Lutterkort]

Gitweb:        http://git.fedorahosted.org/git/augeas.git?p=augeas.git;a=commitdiff;h=f6dd0560d9169402030a1cdb4746b6a24aabe10e
Commit:        f6dd0560d9169402030a1cdb4746b6a24aabe10e
Parent:        7a3c15077ada431d70fc8237f0b5177f4f473073
Author:        David Lutterkort <lutter at redhat.com>
AuthorDate:    Thu Apr 9 15:49:16 2009 -0700
Committer:     David Lutterkort <lutter at redhat.com>
CommitterDate: Mon Apr 13 19:25:58 2009 -0700

Grub: simplify comment_re to speed up typecheck

---
 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]*/ "# "