lib/Tools/changeparent

--- a/lib/Tools/changeparent	Wed Dec 04 13:08:40 1996 +0100
+++ b/lib/Tools/changeparent	Wed Dec 04 13:10:11 1996 +0100
@@ -1,7 +1,9 @@
 #!/bin/bash
 #
+# $Id$
+#
 # DESCRIPTION: change parent of Poly/ML database
-#
+
 
 PRG=$(basename $0)
 
@@ -32,7 +34,7 @@
 case "$ML_SYSTEM" in
   polyml-*)
     [ ! -w "$DB" ] && fail "Database not writable: $DB"
-    $POLYML_HOME/changeParent "$DB" "$PARENT"
+    $ML_HOME/changeParent "$DB" "$PARENT"
     ;;
   *)
     fail "You're not set up for Poly/ML!"