# HG changeset patch
# User oheimb
# Date 988631673 -7200
# Node ID 566a70a509562a119a545f812c5f92b96fd2eca5
# Parent  673783831234772df22348958058c501c01294fc
minor bugfix for subst_RS

diff -r 673783831234 -r 566a70a50956 lib/scripts/convert.pl
--- a/lib/scripts/convert.pl	Mon Apr 30 13:17:17 2001 +0200
+++ b/lib/scripts/convert.pl	Mon Apr 30 13:54:33 2001 +0200
@@ -21,7 +21,7 @@
   s/ RS ([\w\'\.]+)/ [THEN $1]/g;
   s/ RS \((.+?)\)/ [THEN $1]/g;
   s/\(([\w\'\.]+ \[THEN [\w\'\.]+\])\)/$1/g;
-  s/\] \[THEN /, /g;
+  s/\] \[THEN /, THEN /g;
   s/THEN sym\b/symmetric/g;
 }