# /bin/bash

exec opam exec --switch="$(basename $0)" alt-ergo -- "$@"
