--- update-grub.orig	2006-11-23 19:27:11.000000000 +0100
+++ update-grub	2006-11-23 20:04:00.000000000 +0100
@@ -1114,20 +1114,6 @@ if test -z "$notChangeDefault"; then
 	fi
 fi
 
-# Function to update the default value
-set_default_value() {
-    if [ "$use_grub_set_default" = "true" ] ; then
-	grub-set-default $1
-    else
-	value="$1"
-	newmenu=$(tempfile)
-	sed -e "s/^[[:blank:]]*default[[:blank:]]*[[:digit:]]*\(.*\)/default         ${value}\1/;b" $menu > $newmenu
-	cat $newmenu > $menu
-	rm -f $newmenu
-	unset newmenu
-    fi
-}
-
 #Updating the default number
 if test -z "$notChangeDefault"; then
 	newDefaultNumberPlusOne=$(grep "^[[:blank:]]*title[[:blank:]]*" $menu | grep -n "${defaultEntry}" | cut -f1 -d ":" | sed -ne "1p")