# HG changeset patch
# User oheimb
# Date 988629437 -7200
# Node ID 673783831234772df22348958058c501c01294fc
# Parent  165405d911f162c9207aa8366bf5601f93f1af75
improve support for EVERY', added support for EVERY

diff -r 165405d911f1 -r 673783831234 lib/scripts/convert.pl
--- a/lib/scripts/convert.pl	Mon Apr 30 12:15:25 2001 +0200
+++ b/lib/scripts/convert.pl	Mon Apr 30 13:17:17 2001 +0200
@@ -60,7 +60,8 @@
   s/ ?\( ?\)/\(\)/g;      # remove space before and inside empty tuples
   s/\(\)([^ ])/\(\) $1/g; # possibly add space after empty tuples
 
-  if(s/^\(EVERY\'\[(.*?)\] *(\d+)\)$/\($1 $2\)/) {
+  s/EVERY *\[(.*?)\]/$1/;
+  if(s/EVERY\'\[(.*?)\] *(\d+)/$1 $2/) {
     $goal = $2;
     s/,/ $goal,/g;
   }