Mercurial > cpdt > repo

diff tools/make_template.ml @ 49:827d7e8a7d9e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Predicates with arguments
author Adam Chlipala <adamc@hcoop.net>
date Sun, 28 Sep 2008 10:59:04 -0400
parents d45ba7e9b266
children d07c77659c20
line wrap: on
line diff
--- a/tools/make_template.ml	Sat Sep 27 16:10:53 2008 -0400
+++ b/tools/make_template.ml	Sun Sep 28 10:59:04 2008 -0400
@@ -15,7 +15,8 @@
       let idx = try Some (String.index line '(') with Not_found -> None in
       match idx with
         | Some idx ->
-            if String.length line > idx+1 && line.[idx+1] = '*' then
+            if String.length line > idx+1 && line.[idx+1] = '*'
+              && not (String.length line > idx+4 && String.sub line (idx+2) 3 = " EX") then
               if line.[String.length line - 2] = '*' && line.[String.length line - 1] = ')' then
 	        initial last_was_empty
 	      else