path: root/academic/cvc4/run-antlr

#!/bin/bash
exec java -jar $(dirname $0)/antlr-3.4-complete.jar $*