#!/bin/sh
# This script was created by make-mzscheme-launcher

if [ "$PLTHOME" = '' ] ; then
  PLTHOME="/usr/pkg/lib/plt"
  export PLTHOME
fi

exec "${PLTHOME}/bin/mred" ${1+"$@"}