The previous log message was wrong. The correct one is:
generalized handling of type expressions, type variables and sorts
#!/bin/bash -norc
#
# $Id$
#
# DESCRIPTION: change parent of Poly/ML database
PRG=$(basename $0)
function usage()
{
echo
echo "Usage: $PRG DB PARENT"
echo
echo " Change parent of Poly/ML database DB to PARENT (full path name!)."
echo
exit 1
}
function fail()
{
echo "$1" >&2
exit 2
}
## main
[ $# -ne 2 ] && usage
DB="$1"
PARENT="$2"
case "$ML_SYSTEM" in
polyml-*)
[ ! -w "$DB" ] && fail "Database not writable: $DB"
$ML_HOME/changeParent "$DB" "$PARENT"
;;
*)
fail "You're not set up for Poly/ML!"
;;
esac