diff -r 7a28e215f715 -r 99a31b399b59 tools/lemon-0.x-to-1.x.sh --- a/tools/lemon-0.x-to-1.x.sh Tue Apr 14 10:54:42 2009 +0200 +++ b/tools/lemon-0.x-to-1.x.sh Tue Apr 14 10:40:33 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"\