diff -r f58410582b9b -r 51597950d0fe tools/lemon-0.x-to-1.x.sh
--- a/tools/lemon-0.x-to-1.x.sh	Tue Nov 04 21:37:59 2008 +0100
+++ b/tools/lemon-0.x-to-1.x.sh	Wed Nov 05 08:11:44 2008 +0000
@@ -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