#!/bin/bash
echo "The java files are correctly generated even though an error message is issued"
java -cp ../TutorS/lib/antlr-3.3-complete.jar org.antlr.Tool -o . ProofLang.g
