1.1 --- a/tools/lemon-0.x-to-1.x.sh	Tue Nov 04 21:37:59 2008 +0100
     1.2 +++ b/tools/lemon-0.x-to-1.x.sh	Wed Nov 05 08:11:44 2008 +0000
     1.3 @@ -90,6 +90,7 @@
     1.4          -e "s/\<StoreBoolMap\>/LoggerBoolMap/g"\
     1.5          -e "s/\<storeBoolMap\>/loggerBoolMap/g"\
     1.6          -e "s/\<BoundingBox\>/Box/g"\
     1.7 +        -e "s/\<readNauty\>/readNautyGraph/g"\
     1.8      <$i > $TMP
     1.9      mv $TMP $i
    1.10  done