diff -r 5563527bcc8d -r a2e6b1dd487e tools/lemon-0.x-to-1.x.sh --- a/tools/lemon-0.x-to-1.x.sh Fri Apr 10 07:29:00 2009 +0100 +++ b/tools/lemon-0.x-to-1.x.sh Fri Apr 10 07:29:22 2009 +0100 @@ -89,6 +89,10 @@ -e "s/\<\([Ff]\)orkWriteMap\>/\1orkMap/g"\ -e "s/\/LoggerBoolMap/g"\ -e "s/\/loggerBoolMap/g"\ + -e "s/\/CrossRefMap/g"\ + -e "s/\/crossRefMap/g"\ + -e "s/\/RangeIdMap/g"\ + -e "s/\/rangeIdMap/g"\ -e "s/\/Box/g"\ -e "s/\/readNautyGraph/g"\ -e "s/\/ReverseDigraph/g"\