# HG changeset patch
# User wenzelm
# Date 849701411 -3600
# Node ID f49958ca2f8dab330e90a589bb7a8ecc8ee6d6c6
# Parent  390c1b6baaa5763673574ba18c9dd5a0c3966a84
fixed ML_HOME;

diff -r 390c1b6baaa5 -r f49958ca2f8d 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!"