summaryrefslogtreecommitdiff
path: root/academic/cvc4/run-antlr
blob: 26f09c7cac3c0dcc8a1409e748c4f4f4cb88d8b0 (plain)
1
2
#!/bin/bash
exec java -jar $(dirname $0)/antlr-3.4-complete.jar $*