#!/bin/sh

set -e

if [ "$1" = "purge" ] ; then
    rm -f /usr/lib/smlnj/lib/pathconfig
fi

#DEBHELPER#