#!/bin/sh
#
# Wrapper script to call the actual prover9-mace4.py script

/usr/local/bin/python2.7 /usr/local/libexec/prover9/p9m4/prover9-mace4.py "$@"
