% wrapper

% zusatzaufgabe1 ist bereits direkt in gol.pl geloest
:- consult('gol.pl').

% aktiviere lediglich die ausgabe
prove_print :- true.

% vim: set noet sw=4 ts=4: