# HG changeset patch
# User oheimb
# Date 989255981 -7200
# Node ID 5116d92c6a833bfe1b3205fb6ca7e02916e3c43c
# Parent  3826c51d980e8ef690e833c50b81be0fa7e6836e
minor bugfix for AddIffs

diff -r 3826c51d980e -r 5116d92c6a83 lib/scripts/convert.pl
--- a/lib/scripts/convert.pl	Fri May 04 15:39:38 2001 +0200
+++ b/lib/scripts/convert.pl	Mon May 07 19:19:41 2001 +0200
@@ -281,7 +281,7 @@
   s/^AddDs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"dest")/seg;
   s/^AddSDs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"dest!")/seg;
   s/^AddXDs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"dest?")/seg;
-  s/^AddIffs\s*\[?\s*([\w\'\. ,]*)\s*\]?</decl($1,"iff")/seg;
+  s/^AddIffs\s*\[?\s*([\w\'\. ,]*)\s*\]?/decl($1,"iff")/seg;
   print "$_$tail";
   if(eof()) { last; } # prevents reading finally from stdin (thru <>)!
 }