clean:
	$(RM) *.cm* *.ml* *.txt prlc* *.a camlp4* *.dat
