--- 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 <>)!
}