tools/lemon-0.x-to-1.x.sh
changeset 359 0eec1736ff1d
parent 344 236b1902e5cc
child 366 efbd0ab50a77
     1.1 --- a/tools/lemon-0.x-to-1.x.sh	Tue Nov 04 21:14:57 2008 +0100
     1.2 +++ b/tools/lemon-0.x-to-1.x.sh	Tue Nov 04 21:25:15 2008 +0100
     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