#################################################################
#								#
#								#
#			    Makefile				#
#								#
#								#
#################################################################

clean:
	rm -f *.lis *.siz *.ism *.fsm *.psm \
	      *.evr \
	      *.mcr *.smv *.smv_script *.smv_msgs *.smv_output \
	      *.sar \
	      *.dis *.val *.est \
	      *.tmp core
