diff -r 636fa2f39f10 -r 0eec1736ff1d tools/lemon-0.x-to-1.x.sh
--- a/tools/lemon-0.x-to-1.x.sh	Tue Nov 04 21:14:57 2008 +0100
+++ b/tools/lemon-0.x-to-1.x.sh	Tue Nov 04 21:25:15 2008 +0100
@@ -90,6 +90,7 @@
         -e "s/\<StoreBoolMap\>/LoggerBoolMap/g"\
         -e "s/\<storeBoolMap\>/loggerBoolMap/g"\
         -e "s/\<BoundingBox\>/Box/g"\
+        -e "s/\<readNauty\>/readNautyGraph/g"\
     <$i > $TMP
     mv $TMP $i
 done