#! /bin/csh
	echo Deleting domain files 
	find .  \( -name '[0-9]*-domain*' \) -type f -print -exec rm {} \;
	find ./test  \( -name '[0-9]*-domain*.*' -o -name '*~' \) -type f -print -exec rm {} \;
	echo Deleting tab files in directory test
	rm test/*.tab
	rm test/binary/*.tab


