#!/bin/sh
: ${DAFNYDIR=/usr/local/dafny}
exec $DAFNYDIR/Dafny.exe "$@"